Nestan Tsiskaridze

Registered user since Thu 2 Mar 2017

Name:Nestan Tsiskaridze
Country:United States
Affiliation:UC Santa Barbara
Research interests:Automated Reasoning and Verification, Cryptography and Security, Constraint Programming, SMT, SAT.

Contributions