This is G o o g l e's cache of http://history.dcs.ed.ac.uk/history/LucaCardelli as retrieved on 10 Sep 2006 14:06:02 GMT. G o o g l e's cache is the snapshot that we took of the page as we crawled the web.
The page may have changed since that time. Click here for the current page without highlighting.
This cached page may reference images which are no longer available. Click here for the cached text only. To link to or bookmark this page, use the following url: http://www.google.com/search?q=cache:LScNoyPH8FcJ:history.dcs.ed.ac.uk
Google is neither affiliated with the authors of this page nor responsible for its content.
His main interests are in type theory and operational semantics, mostly
for applications to language design, semantics, and implementation. He implemented
the first compiler for ML
(the most popular typed functional language), was a member of the Modula-3
design committee, and has designed a few experimental languages, of which the
latest are Obliq:
a distributed higher-order scripting language, and
Polyphonic C#,
a distributed extension of C#. His more protracted research
activity has been in establishing the semantic
and type-theoretic foundations of object-oriented languages, resulting in the
1996 book "A Theory of Objects" with Martin
Abadi. More recently he has focused on modeling global and mobile computation,
via the Ambient Calculus and on
Spatial Logics, which indirectly led to a
current interest in Systems Biology.
He has published over 70 papers, 1 technical monograph and
2 proceedings as chair/editor (POPL'98 and ECOOP'03). He has served as editor of
Foundations and Trends in Theoretical Computer Science (Models and Systems) (Now
Publishers 2005+), Transactions on Computational Systems Biology (Springer
2004+), Mathematical Structures in Computer Science (CUP 2001+), Science of Computer
Programming (North Holland 1999+), Journal of Functional Programming (CUP
1995-2004), and Theory and Practice of Object Systems (Wiley 1994-1999).
He is a Fellow of the Royal Society, an ACM Fellow, and a member of EATCS and
AITO.
His web page is at www.luca.demon.co.uk.
