3 <!DOCTYPE person SYSTEM "../person.dtd">
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
15 <position>Former Responsible of the Bologna site for the WG-21836
17 <position>Main Responsible for the Nation Research Project Linear Logic and
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>
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>
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>
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"/>