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.