MoWGLI: Mathematics on the Web: Get It by Logic and Interfaces

Prof. Andrea Asperti

• Full Professor of Formal Languages and Compilers
• Member of the Advisory Committee of the World Wide Web
• Former Director of the Undergraduate Program in Computer Science of the University of Bologna
• Responsible of the Bologna site for the European TMR Project LINEAR
• Former Responsible of the Bologna site for the WG-21836 CONFER-II
• Main Responsible for the Nation Research Project Linear Logic and beyond
• Project Manager of the European IST Project MOWGLI

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.

Research Interests:

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.

Selected Publications:

• XML, Stylesheets and the re-mathematization of Formal Content
• HELM and the semantic Math-Web
• Formal Mathematics on the Web
• Formal Mathematics in MathML
• Categories, Types and Structures. An introduction to Category Theory for the Working Computer Scientist.

This page is hosted by the Department of Computer Science, University of Bologna. Last updated Fri Feb 2 17:12:30 CET 2007.