X-Git-Url: http://matita.cs.unibo.it/gitweb/?p=helm.git;a=blobdiff_plain;f=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Fbologna%2Fasperti.xml;fp=helm%2Fmowgli%2Fhome%2Fxml%2Fpeople%2Fbologna%2Fasperti.xml;h=0000000000000000000000000000000000000000;hp=a4540b78bbd9505ca03069f06136ec747cb3c0b6;hb=3ef089a4c58fbe429dd539af6215991ecbe11ee2;hpb=1c7fb836e2af4f2f3d18afd0396701f2094265ff

diff --git a/helm/mowgli/home/xml/people/bologna/asperti.xml b/helm/mowgli/home/xml/people/bologna/asperti.xml
deleted file mode 100644
index a4540b78b..000000000
--- a/helm/mowgli/home/xml/people/bologna/asperti.xml
+++ /dev/null
@@ -1,56 +0,0 @@
-<?xml version="1.0"?>
-
-<!DOCTYPE person SYSTEM "../person.dtd">
-
-<person>
- <name>Andrea</name>
- <surname>Asperti</surname>
- <qualification>Prof.</qualification>
- <position>Full Professor of Formal Languages and Compilers</position>
- <position>Member of the Advisory Committee of the World Wide Web</position>
- <position>Former Director of the Undergraduate Program in Computer Science
-   of the University of Bologna</position>
- <position>Responsible of the Bologna site for the European TMR Project
-           LINEAR</position>
- <position>Former Responsible of the Bologna site for the WG-21836
-           CONFER-II</position>
- <position>Main Responsible for the Nation Research Project Linear Logic and
-           beyond</position>
- <position>Project Manager of the European IST Project MOWGLI</position>
- <e-mail>asperti@cs.unibo.it</e-mail>
- <url>http://www.cs.unibo.it/~asperti</url>
- <address>Dipartimento di Scienze dell'Informazione, Mura Anteo Zamboni 7, Bologna, Italy</address>
- <telephone>+39 51 35 45 05</telephone>
- <curriculum>
-  <p>Andrea Asperti was born in Italy, in 1961. He was awarded a Ph.D in
-     Computer Science by the University of Pisa in 1989. In the same year
-     he obtained a post-doc position at INRIA-Rocquencourt, where he was
-     employed as a researcher in 1991. In 1992 he obtained the chair
-     of Formal Languages and Compilers at the Department of
-     Computer Science of the University of Bologna, becoming
-     Full Professor in year 2000.
-     He is currently teaching courses on Programming Languages,
-     Theoretical Computer Science and Human-Computer Interaction.</p>
- </curriculum>
- <research-interests>
-  <p>The research interests of Andrea Asperti are focused on forms,
-     formats and methods of knowledge representation and elaboration.
-     This covers Markup Languages, Information Processing,
-     Programming Languages, Interpreters and
-     Compilers, Type Systems, Higher-order Logics, Linear Logic, Category
-     Theory.  He is author of over 40 international publications on formal
-     aspects of the theory of Computing, and several books.</p>
-  <p>He has been member of the Programme Committees of several
-     International Conferences, comprising CONCUR'98, RTA'99,
-     LICS'99, PPDP'00, CSL'01, MKM'01 (First International Workshop
-     on Mathematical Knowledge Management).</p>
-  <p>His recent scientific activity has been mostly focused on the
-     HELM Project, aimed to build the technological infrastructure
-     for an Hypertextual Electronic Library of Mathematics.</p>
- </research-interests>
- <selected-publication file="others/extreme2001_apss"/>
- <selected-publication file="others/tphols2001_apss"/>
- <selected-publication file="others/crimea2001_apss"/>
- <selected-publication file="others/mathml2000_apss"/>
- <selected-publication file="others/category_al"/>
-</person>