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  <e-mail>asperti@cs.unibo.it</e-mail>
  20  <url>http://www.cs.unibo.it/~asperti</url>
  21  <address>Dipartimento di Scienze dell'Informazione, Mura Anteo Zamboni 7, Bologna, Italy</address>
  22  <telephone>+39 51 35 45 05</telephone>
  23  <curriculum>
  24   <p>Andrea Asperti was born in Italy, in 1961. He was awarded a Ph.D in
  25      Computer Science by the University of Pisa in 1989. In the same year
  26      he obtained a post-doc position at INRIA-Rocquencourt, where he was
  27      employed as a researcher in 1991. In 1992 he obtained the chair
  28      of Formal Languages and Compilers at the Department of
  29      Computer Science of the University of Bologna, becoming
  30      Full Professor in year 2000.
  31      He is currently teaching courses on Programming Languages,
  32      Theoretical Computer Science and Human-Computer Interaction.</p>
  33  </curriculum>
  34  <research-interests>
  35   <p>The research interests of Andrea Asperti are focused on forms,
  36      formats and methods of knowledge representation and elaboration.
  37      This covers Markup Languages, Information Processing,
  38      Programming Languages, Interpreters and
  39      Compilers, Type Systems, Higher-order Logics, Linear Logic, Category
  40      Theory.  He is author of over 40 international publications on formal
  41      aspects of the theory of Computing, and several books.</p>
  42   <p>He has been member of the Programme Committees of several
  43      International Conferences, comprising CONCUR'98, RTA'99,
  44      LICS'99, PPDP'00, CSL'01, MKM'01 (First International Workshop
  45      on Mathematical Knowledge Management).</p>
  46   <p>His recent scientific activity has been mostly focused on the
  47      HELM Project, aimed to build the technological infrastructure
  48      for an Hypertextual Electronic Library of Mathematics.</p>
  49  </research-interests>
  50  <selected-publication file="others/extreme2001_apss"/>
  51  <selected-publication file="others/tphols2001_apss"/>
  52  <selected-publication file="others/crimea2001_apss"/>
  53  <selected-publication file="others/mathml2000_apss"/>
  54  <selected-publication file="others/category_al"/>
  55 </person>