Ioana Pasca

Organisation: INRIA
Research unit: Sophia Antipolis
Project: Marelle
Telephone: (+334/04) 92 38 76 66
E-mail: <>
Address: INRIA Sophia Antipolis - Projet Marelle
2004, Route des Lucioles - BP 93
06902 Sophia Antipolis Cedex, France

Short CV


* Publications

* Talks


Marelle Seminar

I am currently a PhD student in the Marelle team at INRIA Sophia Antipolis. I work under the supervision of Yves Bertot on formalization of real and numerical analysis concepts in the Coq proof system.

I am also part of the Mathematical Components project of the Microsoft Research - INRIA joint center. I use the SSReflect extension of the Coq system as well as the libraries developed upon it in the project.

Key words for my research interests: formal verification, proof assistants, type theory, formalization of mathematical theories, verification of computations and numerical methods.