Since March 2016, I am a Ph.D. student at University of Lugano, Switzerland.
I am a member of the formal Verification and Security Lab under the supervision of Prof. Natasha Sharygina.
For more info and my publication lists check my personal website: http://www.inf.usi.ch/phd/asadi/
+41 58 666 4455 ext. 2306
Position Ph.D. Student
Faculty of Informatics
Office: Informatics Building, Office 200 (Level 2) Via Buffi 13, 6900 Lugano. Phone: +41 (0)58 66 64312