conf.researchr.org / Abdulbaki Aydin
Registered user since Mon 9 Jan 2017
Name:Abdulbaki Aydin
Country:United States
Affiliation:Microsoft, USA
Personal website: http://www.cs.ucsb.edu/~baki/
Research interests:Software Verification, Program Analysis, Software Security, Model Counting
Contributions