Jerome Simeon

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
Research interests:Compilers, Databases, Query Compilers, Formal Verification

Contributions

Show activities from other conferences

POPL 2022-profile
View general profile