Sorry, you need to enable JavaScript to visit this website.

Dr. Hossein Hojjat

Dr. Hossein Hojjat
Assistant Professor

Email: hh AT
Phone: 585.475.2118
Office: GOL 70-3545


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.

Research Areas

  • -Programming languages and formal methods