conf.researchr.org / Patrick LaFontaine
![Patrick LaFontaine](https://conf.researchr.org/getProfileImage/patricklafontaine1/3f7ddfd5-2822-44fb-8e35-e6acf7816300/small.jpg?1712419911000)
Registered user since Thu 13 Apr 2023
Name:Patrick LaFontaine
Country:United States
Affiliation:Purdue University
Personal website: https://pat-lafon.github.io/
GitHub: https://github.com/Pat-Lafon
Research interests:Programming Languages, Program Synthesis, Automated Reasoning
Contributions