]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/mowgli/home/xml/people/inria/herbelin.xml
ocaml 3.09 transition
[helm.git] / helm / mowgli / home / xml / people / inria / herbelin.xml
index d8bb383a284a26cac3760e9467ebf81c10478dae..99025a5369afacda32e65b9885d822af1e53648e 100644 (file)
@@ -8,6 +8,8 @@
  <qualification>Prof.</qualification>
  <position>Associate Professor at University Paris 10</position>
  <position>Seconded at INRIA</position>
+ <position>Member of the Project Exploitation Board
+  of the European IST project MOWGLI</position>
  <e-mail>Hugo.Herbelin@inria.fr</e-mail>
  <url>http://pauillac.inria.fr/~herbelin</url>
  <address>Domaine de Voluceau, 78153 Rocquencourt Cedex, France</address>