Experience

Research Intern

Improved the type system of CODA, the statically typed language presented in the article "Certifying Zero-Knowledge Circuits with Refinement Types".

Validated and explored the key functions and operations proposed in the article “Two Skew-Binary Numeral Systems and One Application”.

Implemented in OCaml a standalone library for XOR unification.

Incorporated the library in ProVerif official distribution.