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 2017 Local Organizing Chair in Organizing Committee
Show activities from other conferences

ISSTA 2017-profile
View general profile