conf.researchr.org / Hossein Hojjat
![Hossein Hojjat](https://conf.researchr.org/getProfileImage/hosseinhojjat/0b2ae2ee-73fe-4e15-bc9d-4ad6609e4675/small.jpg?1711511632000)
Registered user since Thu 12 Mar 2015
Name:Hossein Hojjat
Country:Iran
Affiliation:Tehran Institute for Advanced Studies (TeIAS)
Personal website: https://cs.rit.edu/~hh/
Research interests:Software Analysis, Verification and Synthesis
Contributions