Hossein Hojjat

PhD EPFL, 2013

Hossein Hojjat

Assistant Professor

I am an Assistant Professor (on leave - 2019) in the Department of Computer Science at the Rochester Institute of Technology.

I received my PhD in computer science from EPFL, Switzerland (2013).

Before joining RIT I was a post-doctoral researcher at Cornell.

Here is my Curriculum Vitae.

Research Overview

I am interested in analysis and verification of software and hardware systems.


Publication List Page (also with abstracts, or partial list from DBLP)

Program Committee

FSEN 2015, FSEN 2017, TTCS 2017, VSTTE 2017, SEFM 2017, SBMF 2018, FSEN 2019 (co-chair), PLDI 2019 (AEC)


SaTC: CORE: Small: Collaborative: A New Approach to Federated Network Security

Editorial Board

Information Processing Letters

PhD Students

Ali Shokri (2018- )