research
∙
01/23/2023
Verified reductions for optimization
Numerical and symbolic methods for optimization are used extensively in ...
share
research
∙
10/31/2022
HHLPy: Practical Verification of Hybrid Systems using Hoare Logic
We present a tool for verification of hybrid systems expressed in the se...
research
∙
05/06/2022
Privacy accounting εconomics: Improving differential privacy composition via a posteriori bounds
Differential privacy (DP) is a widely used notion for reasoning about pr...
research
∙
12/03/2021
An Impossible Asylum
In 1982, Raymond Smullyan published an article, "The Asylum of Doctor Ta...
research
∙
11/12/2021
Verified Optimization
Optimization is used extensively in engineering, industry, and finance, ...
research
∙
01/31/2021
Superposition with Lambdas
We designed a superposition calculus for a clausal fragment of extension...
research
∙
11/18/2020
Efficient Full Higher-Order Unification
We developed a procedure to enumerate complete sets of higher-order unif...
research
∙
05/05/2020