SPLASH 2024 (series) / 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
SPLASH 2024-profile
View general profile
View general profile