Gian Luca Cattani's Home Page

NOTICE

I am currently working for DS Data Systems. This is a snapshot of my web-page as it was when I left Cambridge and it is still available mainly to allow people to have access to my research papers. The Computer Science Department at Aarhus is warmly thanked for hosting this page. In fact I also still receive emails sent to either my Aarhus or Cambridge addresses.

November 2000

Gian Luca Cattani

I am a Research Associate at Cambridge University Computer Laboratory and a Fellow of Wolfson College. I did my doctorate at BRICS under the supervision of Glynn Winskel.

Research

My main research interests are in Logics and Semantics of Computation. In particular Models of Concurrent Computation and applications of Category Theory to Computer Science especially in connection with Domain Theory, Denotational and Operational Semantics. Presently I am supported by an EPSRC grant, whose title is `Calculi for Interactive Systems: Theory and Experiment' and whose principal investigator is Robin Milner.

On-line papers and a bibtex database of my publications.
My PhD Thesis.
Some Action Calculi pointers.
The Theory and Semantics Group at the Computer Laboratory.
My Hypatia page.

Curriculum

Dr Gian Luca Cattani
Computer Laboratory
University of Cambridge
New Museums Site
Pembroke Street
Cambridge CB2 3QG
United Kingdom

Office: Arup Tower T52
Tel: +44 (0)1223 3 34697
Fax: +44 (0)1223 3 34678
Email: Luca.Cattani@cl.cam.ac.uk
Ftp: ftp.cl.cam.ac.uk/users/glc25

Gian Luca Cattani
Tue Sep 28 1999