Initial commit of the XML/XSLT stuff.

[helm.git] / helm / mowgli / home / xml / people / bologna / asperti.xml

diff --git a/helm/mowgli/home/xml/people/bologna/asperti.xml b/helm/mowgli/home/xml/people/bologna/asperti.xml
new file mode 100644 (file)
index 0000000..da04f81
--- /dev/null
+++ b/helm/mowgli/home/xml/people/bologna/asperti.xml
@@ -0,0 +1,55 @@
+<?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>
+ <e-mail>asperti@cs.unibo.it</e-mail>
+ <url>http://www.cs.unibo.it/~asperti</url>
+ <address>Dipartimento di Scienze dell'Informazione, Via di 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>