Steffen van Bakel
(IPA: Stɛffən vɑn Ba:kəl)
A picture of me
Senior Lecturer
Deputy Examinations Officer

Department of Computing

Imperial College London

180 Queen's Gate, London SW7 2BZ, UK

Email: (λxy.svbximperialyacyuk)@.
Tel: (+44) (0)20 7594 8263
Fax: (+44) (0)20 7594 8932

I joined the Group of Theory & Formal Methods (now called Programming Languages and Systems) in the Department of Computing at Imperial College London as a Lecturer in January 1996.
Prior to my arrival I was working as post-doc in the group of Semantics and Logics of Computation at the Department of Computer Science of the University of Turin, Piemonte, Italy, from March 1993. Before that, I held a research position at the group of Functional Languages (now Software Technology), at the Computing Science Institute of the University of Nijmegen, the Netherlands.
My MSc (doctoraal, 1988) in Computer Science and PhD (1993) in Mathematics and Computer Science were obtained at the University of Nijmegen. My thesis supervisors (promotores) were M. Dezani-Ciancaglini from Turin and H. Barendregt from Nijmegen.
And yes, that makes me an immigrant.
My main research lies in the field of Type Assignment both for Lambda Calculus and Term Rewriting Systems, an area that I explored first in my PhD-thesis, and I have since then investigated further. My specialisation in that area is that of Intersection Type Assignment. More recently, I started working in the area of Mobile Ambients, Object Orientation, and that of Systems Biology.

My main topic of research over the last years is that of the relation between Classical Logic and Computation, and I have, together with Stefano Berardi, organised a number of workshops on that topic. My interest is mainly semantical, and I have studied the (im)possiblility of intersection type assignment and filter semantics for a number of calculi. I have also studied semantic mappings of classical calculi into the π-calculus, which has led to output-based encodings of the λ-calculus and the λμ-calculus, as well as for X.


Teaching


Research interest

Click here for a complete list of my publications, and here if you want to find out how to make bibtex respect Dutch sorting of family names. In case you would like to use my macros for derivation construction in LaTeX (built on top of Paul Taylor's prooftrees), you can download derivation.sty (or derivation-nops.sty if you do not like using pstricks).

Google

The background for this page is a (bleached part of a) painting by Egon Schiele (or here if you read German), who lived June 12, 1890 - October 10, 1918, titled "Freundschaft." See also: WebShots, Artchive Egon Schiele Museum, barewalls, and Sammlung Leopold. I also keep my own picture gallery. Painting
En kijk, voor een volledig andere ervaring in woord en beeld, naar wat mijn vader allemaal heeft beziggehouden. Butterfly
HTML 4.0 Special Characters
Vim
I keep a page containing some personal data.