Farzin Houshmand

Registered user since Mon 5 Nov 2018

Name:Farzin Houshmand
Country:United States
Affiliation:University of California, Riverside
Research interests:Formal Methods, Program Synthesis, Distributed Systems

Contributions

Show activities from other conferences

PLDI 2022-profile
View general profile