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.

Contributions

Show activities from other conferences

ISSTA 2017-profile
View general profile