Registered user since Sun 14 May 2017
Name:Jerome Simeon
Bio:
I am the Chief Scientist at Clause (http://clause.io/)
Country:United States
Affiliation:Clause
Personal website:http://blog.ashortdistanceahead.org/
Research interests:Compilers, Databases, Query Compilers, Formal Verification
Contributions
| ProLaLa 2022 | Ergo - a programming language for Smart Legal Contracts | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2022-profile
View general profile
View general profile