Deprecated: The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Andrea Asperti
Andrea Asperti
Full Professor of Programming Languages Member of W3C Advisory Committee Project Leader of the European Project IST-33562
MOWGLI: Mathematics on the Web: Get it by Logic and Interfaces.
Dipartimento di Scienze dell'Informazione
University of Bologna
Via di Mura Anteo Zamboni, 7
40127 Bologna, Italy Phone: (39) 051.209.45.05 Fax: (39) 051.209.45.10 Email: asperti@cs.unibo.it
Andrea Asperti was born in Bergamo, Italy, in 1961.
In 1989 he obtained
a Ph.D in Computer Science from the University of Pisa, Italy, after
spending one year as a visiting researcher at the Carnegie
Mellon University of Pittsburgh (PA).
In 1990 he obtained a post-doc position at INRIA-Rocquencourt
(France),
where he was employed as a researcher in 1991.
In 1992, he became Associate Professor at the
University of Bologna, Italy.
Since 2000 Andrea Asperti is Full Professor of Programming Languages
at the Department of Computer Science of the University
of Bologna.
He is author of over 40 international publications on formal
aspects of the theory of Computing, and several books.
Andrea Asperti has been member of the Programme Committees of several
International Conferences, comprising CONCUR'98, RTA'99,
LICS'99, PPDP'00, CSL'01, MKM'01, TLCA'03,
MKM'03 (chair).
What I really like is to look for relations between seemingly distant
topics of Computer Science. If you look carefully, you will easily
discover this leading theme in most of my works.
I like to think that my best qualities as a researcher
are my imagination and my fantasy.
My weak point is my memory.
I can almost develop a full work in my
mind without having to write a single line on a paper; however,
as soon as I write it down, I usually forget it. So, please,
never ask me questions about my past works, since I would
be of no help to you.
What are my research topics? Tough question. Roughly,
logical and foundational aspects of programming languages and
knowledge representation.
However, let's try to be more precise:
A.Asperti and S.Guerrini. The optimal Implementation of
Functional Programming Languages. Cambridge Tracts in
Theoretical Computer Science, Cambridge University Press, 1998
(to appear).
A.Asperti and C.Laneve. Paths, Computations and Labels in the
Lambda Calculus. Theoretical Computer Science, V.142, n.2,
May 1995.
A.Asperti. Causal Dependencies in Multiplicative Linear
Logic with MIX. Mathematical Structures in Computer Science,
vol.5, pp. 351-380. 1995.
A.Asperti. A Categorical Understanding of Environment
Machines. Journal of Functional Programming, V.2, n.1, 1992.
A.Asperti and G.Longo. Categories, Types, and Structures.
An introduction to Category Theory
for the Working Computer Scientist.
Foundation of Computing Series, M.I.T.Press. 1991.
A.Asperti. Stability and Computability in Coherent Domains.
Information and Computation. V.86, n.2, 1990.
A.Asperti, L.Padovani, C.Sacerdoti Coen, I.Schena. XML, Stylesheets and the re-mathematization of formal content. Proceedings of Extreme Markup Languages 2001. Abstract:An important part of the descriptive power of mathematics
derives from its ability to represent formal concepts in a highly
evolved, two-dimensional system of symbolic notations.
Tools for the mechanization of mathematics and the automation
of formal reasoning must eventually face the problem of
re-mathematization of the logical, symbolic content of the information,
especially in view of their integration with the World Wide Web.
In a different work, we already discussed the pivotal role that
XML-technology is likely to play in such an integration.
In this paper, we focus on the problem of (Web) publishing,
advocating the use of XSL-Stylesheets, in conjunction with
the Mathematical Markup Language (MathML), as a standard, application
independent and modular way for associating notation to formal content.
A.Asperti, L.Padovani, C.Sacerdoti Coen, I.Schena. The Semantic Math-Web.
Proceedings of TPHOLS2001. Abstract:The eXtensible Markup Language (XML) opens the possibility to start anew,
on a solid technological ground, the ambitious goal of developing a
suitable technology for
the creation and maintenance of a virtual, distributed,
hypertextual library of formal mathematical knowledge.
In particular, XML provides a central technology
for storing, retrieving and processing mathematical documents,
comprising sophisticated web-publishing mechanisms (stylesheets)
covering notational and stylistic issues.
In this paper, we discuss the overall architectural design of
the new systems, and our progress in this direction.
A.Asperti, L.Padovani, C.Sacerdoti Coen, I.Schena. Formal Mathematics in MathML.
First International Conference on MathML.
Note del corso (by Roberto Sottile).
Warning: ho dato una occhiata alle note e sembrano OK,
ma non ne garantisco l'esattezza.
Per la parte di automi e linguaggi formali fate
riferimento al libro: Aiello, Albano, Attardi, Montanari,
"Teoria della Computabilita', logica, teoria dei linguaggi
formali", materiali didattici ETS, Pisa.