![]() PhD EPFL, 2013 |
Hossein HojjatAssistant Professor
Golisano College of Computing and Information Sciences Department of Computer Science 102 Lomb Memorial Dr. Rochester, NY, 14623-5608
|
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.
Publications
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)
Grants
SaTC: CORE: Small: Collaborative: A New Approach to Federated Network Security
Editorial Board
Information Processing Letters
PhD Students
Ali Shokri (2018- )
Teaching
- Principles of Programming Languages (Fall 2016)
- Compiler Construction (Spring 2017,Spring 2018)
- Programming Language Theory (Fall 2017)