معرفی
Hossein Hojjat is an Assistant Professor in the Department of Computer Science at the Rochester Institute of Technology (RIT), within the Golisano College of Computing and Information Sciences. He received his PhD in computer science from EPFL, Switzerland in 2013 and was a postdoctoral researcher at Cornell University before joining RIT. He is currently on leave from his academic position since 2019.
Research Interests: His research focuses on formal methods for the analysis and verification of software and hardware systems. He works extensively on program verification, network verification (especially in software-defined networking), automated program repair, Horn clauses, interpolation techniques, and model checking. His work bridges theoretical foundations with practical tools and applications.
Publication Trends: His recent publications (2012–2017) show a strong trend in applying formal methods to networked and distributed systems, particularly using NetKAT and Horn clause solvers. He has made significant contributions to ensuring consistency in network updates, synthesizing repairs, and analyzing timed and concurrent systems. His work integrates logic, programming languages, and systems.
- Scientific Service:
- Program Committee: FSEN 2015, FSEN 2017, TTCS 2017, VSTTE 2017, SEFM 2017, SBMF 2018, FSEN 2019 (co-chair), PLDI 2019 (AEC)
- Editorial Board: Information Processing Letters
Advising and Grants: He has advised PhD student Ali Shokri and has received research funding through the SaTC: CORE: Small grant on federated network security. His academic advising and grant activities reflect his leadership in advancing formal techniques for secure and reliable systems.
Labs and Teams: While no specific lab is mentioned, his collaborations with researchers at EPFL, Cornell, and in tool development (e.g., FLATA, ELDARICA) indicate active participation in formal methods research teams focused on verification toolkits and network programming.
