!!!Christine Paulin-Mohring
\\
%%(float:left;margin-left:20px;margin-right:30px;)
[{Image src='paulin_christine.jpg'  alt='Christine Paulin-Mohring' height='200'}]
%%
[{AcadMemberDataPlugin}]
Homepage:%%(margin-left:23px;) %%[http://www.lri.fr/~paulin]
\\ \\
\\ \\
\\ \\
__Present and Previous Positions__
*1997 - now professor, University Paris-Sud
*2006 - 2008 secondment INRIA Futurs/Saclay Île-de-France
*1989 - 1997 researcher CNRS, ENS Lyon
*1985 - 1989 assistant professor, ENS Paris
*1982 - 1985 student ENS Jeunes Filles
\\
__Fields of Scholarship__
* Program verification
* Type theory
* Interactive theorem proving
* Logic
* Formal methods
\\
__Honours and Awards__
* Recipient of the ACM Software System award 2013 for the Coq proof assistant
* Doctor Honoris Causa, University of Goteborg, 2011
\\
%%columns-900

%%coolborders-140-70
[{Image src='User/paper_content_pencil_48.png' width='48px' class='image_left'}]
[Curriculum Vitae |User/Paulin-Mohring_Christine/CV]
%%
----
%%coolborders-140-70
[{Image src='User/book_48.png' class='image_left'}]
[Publication list|User/Paulin-Mohring_Christine/Publications]
%%
----
%%coolborders-140-70
[{Image src='User/camera_noflash_48.png' width='48px' class='image_left'}]
[Highlights of my work and anecdotes|User/Paulin-Mohring_Christine/Highlight]
%%
----
%%coolborders-140-70
[{Image src='User/database_48.png' class='image_left'}]
[Other information|User/Paulin-Mohring_Christine/OtherInformation]
%%
%%

[{ALLOW view All}]
[{ALLOW edit cpaulin-mohring}]
[{ALLOW upload cpaulin-mohring}]
[{ALLOW comment All}]