Julien Wintz received his PhD in algebraic geometry in 2008, and became a research engineer at INRIA Sophia-Antipolis the same year.
-
Inria
- Sophia-Antipolis
Enrico Tassi
gares
I'm a researcher in CS, mainly formal proofs and the implementation of proof assistants. I'm a hacker, a free software supporter
@coq @math-comp @LPCIC Inria Sophia-Antipolis