+++ /dev/null
-<?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>