!!!Christine Paulin-Mohring \\ %%(float:left;margin-left:20px;margin-right:30px;) [{Image src='paulin_christine.jpg' alt='Christine Paulin-Mohring' height='200'}] %% [{AcadMemberDataPlugin}] \\ \\ \\ \\ \\ \\ __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__ [{AcadMemberFOScholarshipPlugin}] \\ __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}]