helm/mowgli/home/xml/people/bologna/asperti.xml

   1 <?xml version="1.0"?>
   2
   3 <!DOCTYPE person SYSTEM "../person.dtd">
   4
   5 <person>
   6  <name>Andrea</name>
   7  <surname>Asperti</surname>
   8  <qualification>Prof.</qualification>
   9  <position>Full Professor of Formal Languages and Compilers</position>
  10  <position>Member of the Advisory Committee of the World Wide Web</position>
  11  <position>Former Director of the Undergraduate Program in Computer Science
  12    of the University of Bologna</position>
  13  <position>Responsible of the Bologna site for the European TMR Project
  14            LINEAR</position>
  15  <position>Former Responsible of the Bologna site for the WG-21836
  16            CONFER-II</position>
  17  <position>Main Responsible for the Nation Research Project Linear Logic and
  18            beyond</position>
  19  <position>Project Manager of the European IST Project MOWGLI</position>
  20  <e-mail>asperti@cs.unibo.it</e-mail>
  21  <url>http://www.cs.unibo.it/~asperti</url>
  22  <address>Dipartimento di Scienze dell'Informazione, Mura Anteo Zamboni 7, Bologna, Italy</address>
  23  <telephone>+39 51 35 45 05</telephone>
  24  <curriculum>
  25   <p>Andrea Asperti was born in Italy, in 1961. He was awarded a Ph.D in
  26      Computer Science by the University of Pisa in 1989. In the same year
  27      he obtained a post-doc position at INRIA-Rocquencourt, where he was
  28      employed as a researcher in 1991. In 1992 he obtained the chair
  29      of Formal Languages and Compilers at the Department of
  30      Computer Science of the University of Bologna, becoming
  31      Full Professor in year 2000.
  32      He is currently teaching courses on Programming Languages,
  33      Theoretical Computer Science and Human-Computer Interaction.</p>
  34  </curriculum>
  35  <research-interests>
  36   <p>The research interests of Andrea Asperti are focused on forms,
  37      formats and methods of knowledge representation and elaboration.
  38      This covers Markup Languages, Information Processing,
  39      Programming Languages, Interpreters and
  40      Compilers, Type Systems, Higher-order Logics, Linear Logic, Category
  41      Theory.  He is author of over 40 international publications on formal
  42      aspects of the theory of Computing, and several books.</p>
  43   <p>He has been member of the Programme Committees of several
  44      International Conferences, comprising CONCUR'98, RTA'99,
  45      LICS'99, PPDP'00, CSL'01, MKM'01 (First International Workshop
  46      on Mathematical Knowledge Management).</p>
  47   <p>His recent scientific activity has been mostly focused on the
  48      HELM Project, aimed to build the technological infrastructure
  49      for an Hypertextual Electronic Library of Mathematics.</p>
  50  </research-interests>
  51  <selected-publication file="others/extreme2001_apss"/>
  52  <selected-publication file="others/tphols2001_apss"/>
  53  <selected-publication file="others/crimea2001_apss"/>
  54  <selected-publication file="others/mathml2000_apss"/>
  55  <selected-publication file="others/category_al"/>
  56 </person>