[TYPES] PhD studentships

Paul B Levy P.B.Levy at cs.bham.ac.uk
Wed Mar 16 16:32:07 EST 2005

Dear all,

Funding is available for PhD studentships in theory/semantics at the
University of Birmingham.  We have a vibrant group of researchers across
the spectrum from programming languages to mathematical foundations.  Our
work includes game, domain, effect, pointer and categorical semantics,
logic, topology and much else besides; and the funding is not tied to
particular projects.

As our current students will confirm, we have a lively and friendly
atmosphere.  The group is burgeoning right now, and includes

 - Martin Escardo (domain theory, topology, semantics and more)

 - Dan Ghica (interaction models of computation and applications to software

 - Achim Jung (domain theory, semantics, topology)

 - Paul Blain Levy (denotational semantics and its problems)

 - Uday Reddy (programming logic and formal methods, object-oriented

 - Eike Ritter (type theory, computational logic, automatic verification)

 - Hayo Thielecke (types and logics for effects in programming languages)

 - Steve Vickers (relating topology, computer science and logic,
especially using toposes and locales)

This year, we're hosting both Midlands Graduate School and Mathematical
Foundations of Progamming Semantics.  It's all happening here - come and
be part of it!

Please don't hesitate to send us any queries, whether about research,
money or anything else.  Application information is at



Paul Blain Levy              email: pbl at cs.bham.ac.uk
School of Computer Science, University of Birmingham
Birmingham B15 2TT, U.K.      tel: +44 121-414-4792

More information about the Types-list mailing list