Registered user since Mon 5 Nov 2018
Name:Farzin Houshmand
Country:United States
Affiliation:University of California, Riverside
Personal website: https://fhoushmand.github.io/
Research interests:Formal Methods, Program Synthesis, Distributed Systems
Contributions
PLDI 2022-profile
View general profile
View general profile