From: Claudio Sacerdoti Coen Date: Wed, 20 Mar 2002 14:59:39 +0000 (+0000) Subject: * New data X-Git-Tag: V_0_3_0_debian_8~201 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=39eaf992d15e240fef162d926b0585b0799e2bda;p=helm.git * New data * New members --- diff --git a/helm/mowgli/home/html/Makefile b/helm/mowgli/home/html/Makefile index 304c75d31..1455b47d9 100644 --- a/helm/mowgli/home/html/Makefile +++ b/helm/mowgli/home/html/Makefile @@ -45,6 +45,7 @@ PEOPLE = \ people/inria/pottier.html \ people/inria/rideau.html \ people/inria/thery.html \ + people/inria/werner.html \ people/nijmegen/barendregt.html \ people/nijmegen/barreiro.html \ people/nijmegen/cohen.html \ @@ -54,7 +55,8 @@ PEOPLE = \ people/nijmegen/stein.html \ people/nijmegen/synek.html \ people/nijmegen/wiedijk.html \ - people/trusted-logic/bolignano.html + people/trusted-logic/bolignano.html \ + people/trusted-logic/gimenez.html DOCUMENTS = \ index.html \ diff --git a/helm/mowgli/home/html/people/inria/.cvsignore b/helm/mowgli/home/html/people/inria/.cvsignore index 00f73d705..0c7a9ceea 100644 --- a/helm/mowgli/home/html/people/inria/.cvsignore +++ b/helm/mowgli/home/html/people/inria/.cvsignore @@ -7,3 +7,4 @@ naciri.html pottier.html rideau.html thery.html +werner.html diff --git a/helm/mowgli/home/html/people/trusted-logic/.cvsignore b/helm/mowgli/home/html/people/trusted-logic/.cvsignore index 9e24e2cad..4734c70f8 100644 --- a/helm/mowgli/home/html/people/trusted-logic/.cvsignore +++ b/helm/mowgli/home/html/people/trusted-logic/.cvsignore @@ -1 +1,2 @@ bolignano.html +gimenez.html diff --git a/helm/mowgli/home/xml/people/index.xml b/helm/mowgli/home/xml/people/index.xml index d665a88ff..adc800cb4 100644 --- a/helm/mowgli/home/xml/people/index.xml +++ b/helm/mowgli/home/xml/people/index.xml @@ -28,6 +28,7 @@ + @@ -58,5 +59,6 @@ + diff --git a/helm/mowgli/home/xml/people/inria/werner.xml b/helm/mowgli/home/xml/people/inria/werner.xml new file mode 100644 index 000000000..746624ec3 --- /dev/null +++ b/helm/mowgli/home/xml/people/inria/werner.xml @@ -0,0 +1,20 @@ + + + + + + Benjamin + Werner + Dr. + Permanent researcher at INRIA. + Teaching a graduate course at Université Paris 7 and + undergraduate course at ENSTA. + Benjamin.Werner@inria.fr + http://logical.inria.fr/~werner/ + +

Benjamin Werner was born in 1966. He graduated from Ecole Polytechnique + in 1989 and was awarded a PhD in computer science form université + Paris 7 in 1994. He is since a researcher at INRIA-Rocquencourt, + working on logical formalisms, type theory and the proof system Coq.

+
+
diff --git a/helm/mowgli/home/xml/people/trusted-logic/bolignano.xml b/helm/mowgli/home/xml/people/trusted-logic/bolignano.xml index 1df338629..7b0d92c7d 100644 --- a/helm/mowgli/home/xml/people/trusted-logic/bolignano.xml +++ b/helm/mowgli/home/xml/people/trusted-logic/bolignano.xml @@ -7,7 +7,8 @@ Bolignano Chairman and Chief Executive Officer of Trusted Logic Part-time Full Professor at the Université Paris-Dauphine - Dominique.Bolignano@trusted-logic.fr + + mowgli@trusted-logic.fr

Dominique Bolignano is Chairman and Chief Executive Officer of Trusted Logic. He also teaches security and languages as a part-time