Sophie Bernard

Advances and challenges in dual-tone development process optimization

Carlos Fonseca, Roel Gronheid, Mark Somervell, 2009, Advanced Lithography.

Formal proofs of transcendence for e and pi as an application of multivariate and symmetric polynomials

Pierre-Yves Strub, Yves Bertot, Laurence Rideau, 2015, CPP.

Formalization of the Lindemann-Weierstrass Theorem

Sophie Bernard, 2017, ITP.