Write a Blog >>
Nestan Tsiskaridze

Registered user since Thu 2 Mar 2017

Name: Nestan Tsiskaridze

Country: United States

Affiliation: University of California, Santa Barbara

Research interests: Automated Reasoning and Verification, Cryptography and Security, Constraint Programming, SMT, SAT.


ISSTA 2017Local Organizing Chair in Organizing Committee
Show activities from other conferences

ISSTA 2017-profile
View general profile