PhD EPFL, 2013
Golisano College of Computing and Information Sciences
Department of Computer Science
102 Lomb Memorial Dr.
Rochester, NY, 14623-5608
Before joining RIT I was a post-doctoral researcher at Cornell.
Here is my Curriculum Vitae.
I am interested in analysis and verification of software and hardware systems.
PublicationsPublication List Page (also with abstracts, or partial list from DBLP)
Program CommitteeFSEN 2015, FSEN 2017, TTCS 2017, VSTTE 2017, SEFM 2017, SBMF 2018, FSEN 2019 (co-chair)
GrantsSaTC: CORE: Small: Collaborative: A New Approach to Federated Network Security
PhD StudentsAli Shokri (2018- )
- Principles of Programming Languages (Fall 2016)
- Compiler Construction (Spring 2017,Spring 2018)
- Programming Language Theory (Fall 2017)