Hossein Hojjat

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

Show activities from other conferences

Using general profile