Prof. Andrea Asperti
e-mail: asperti at cs dot unibo dot it
Home Page: http://www.cs.unibo.it/~asperti
Address: Dipartimento di Scienze dell'Informazione, Mura Anteo Zamboni 7, Bologna, Italy
Telephone number: +39 51 35 45 05
Short Curriculum Vitae:
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.
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.
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).
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.