![Hossein Hojjat](https://pldi19.sigplan.org/getProfileImage/hosseinhojjat/74ec1ac3-fd0e-4f99-a5e6-a4fc4e0a1bb1/small.jpg?1711511632000)
Registered user since Thu 12 Mar 2015
Name:Hossein Hojjat
Country:United States
Affiliation:Rochester Institute of Technology and University of Tehran
Personal website: https://cs.rit.edu/~hh/
Research interests:Software Analysis, Verification and Synthesis
Contributions
PLDI 2019-profile
View general profile
View general profile