Staff Software Engineer
Leading the Governance backend team in the platform rewrite (TypeScript monorepo):
Developed secure enclave (HSM) applications in C with a Python test suite:
Developed financial contract management software (desktop and web), implementing contract lifecycle management pages in a large OCaml codebase.
Admitted via national competitive exam. Including the Parisian Master of Research in Computer Science (MPRI).
N. Chataing, S. Dolan, G. Scherer, J. Yallop. Unboxed Data Constructors: Or, How cpp Decides a Halting Problem. Proc. ACM Program. Lang. 8(POPL). doi:10.1145/3632893
D. Merigoux, N. Chataing, J. Protzenko. Catala: A Programming Language for the Law. Proc. ACM Program. Lang. 5(ICFP). doi:10.1145/3473582