![Farzin Houshmand](https://conf.researchr.org/getProfileImage/farzinhoushmand/098ea6f0-08e2-4130-9b76-3df565c972b6/small.jpg?1712407018000)
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