Dr. Hossein Hojjat
Hossein Hojjat is an Assistant Professor in the Department of Computer Science at the Rochester Institute of Technology.
Before coming to RIT he was a postdoctoral researcher in Computer Science at Cornell University.
He graduated in 2013 with a PhD in Computer Science from EPFL (Switzerland) where he was advised by Viktor Kuncak.
Hossein's research focuses on the application of programming languages techniques to computer systems.
His recent contributions include different approaches to synthesizing and repairing Software-Defined Networking (SDN) controllers, and the Eldaria software model checking framework.
- -Programming languages and formal methods