conf.researchr.org / Calvin Loncaric
![Calvin Loncaric](https://conf.researchr.org/getProfileImage/calvinloncaric/964ba2a9-e0ec-4e5b-b7d7-8a335015ad9b/small.jpg?1711485546000)
Registered user since Fri 2 Sep 2016
Name:Calvin Loncaric
Country:United States
Affiliation:Oracle
Personal website: https://calvin.loncaric.us/
GitHub: https://github.com/Calvin-L
Research interests:Programming Languages, Program Synthesis, Distributed Systems, Concurrency, Model Checking, Formal Methods, Software Verification
Contributions