I am a PhD student advised by professor Grigore Rosu currently working on Runtime Verification at FSL as a graduate research assistant. I received my B.Sc. in Computer Engineering (more info) from Sharif University of Technology, Tehran, Iran.
- 2107 Thomas M. Siebel Center for Computer Science, 201 N. Goodwin Avenue, Urbana, IL 61801
- Email: <first 7 characters of my family name>2 AT illinois DOT edu