From mboxrd@z Thu Jan 1 00:00:00 1970
X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7509
Path: news.gmane.org!not-for-mail
From: Paul Levy
Newsgroups: gmane.science.mathematics.categories,gmane.comp.science.types.announce
Subject: PhD opportunities in the Computer Science theory group at Birmingham
Date: Tue, 27 Nov 2012 18:29:53 +0000
Message-ID:
Reply-To: Paul Levy
NNTP-Posting-Host: plane.gmane.org
Mime-Version: 1.0 (Apple Message framework v936)
Content-Type: text/plain; charset=UTF-8; format=flowed; delsp=yes
Content-Transfer-Encoding: quoted-printable
X-Trace: ger.gmane.org 1354066749 4962 80.91.229.3 (28 Nov 2012 01:39:09 GMT)
X-Complaints-To: usenet@ger.gmane.org
NNTP-Posting-Date: Wed, 28 Nov 2012 01:39:09 +0000 (UTC)
To: types-announce@lists.seas.upenn.edu, categories list ,
Original-X-From: majordomo@mlist.mta.ca Wed Nov 28 02:39:22 2012
Return-path:
Envelope-to: gsmc-categories@m.gmane.org
Original-Received: from smtp3.mta.ca ([138.73.1.32])
by plane.gmane.org with esmtp (Exim 4.69)
(envelope-from )
id 1TdWcT-0001JO-OS
for gsmc-categories@m.gmane.org; Wed, 28 Nov 2012 02:39:21 +0100
Original-Received: from mlist.mta.ca ([138.73.1.63]:39984)
by smtp3.mta.ca with esmtp (Exim 4.80)
(envelope-from )
id 1TdWYP-0000WV-5J; Tue, 27 Nov 2012 21:35:09 -0400
Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71)
(envelope-from )
id 1TdWcB-0000L4-3f
for categories-list@mlist.mta.ca; Tue, 27 Nov 2012 21:39:03 -0400
Precedence: bulk
Xref: news.gmane.org gmane.science.mathematics.categories:7509 gmane.comp.science.types.announce:3299
Archived-At:
Dear all,
We invite applications for PhD study at the University of Birmingham.
We are a group of (mostly) theoretical computer scientists who explore =20=
fundamental concepts in computation and programming language =20
semantics. This often involves profound and surprising connections =20
between different areas of computer science and mathematics. =46rom =20
category theory to =CE=BB-calculus and computational effects, from =
topology =20
to constructive mathematics, from game semantics to program =20
compilation, this is a diverse field of research that continues to =20
provide new insight and underlying structure. See our webpage, with =20=
links to individual researchers, here:
http://www.cs.bham.ac.uk/research/groupings/theory/
Information about PhD applications may be found here:
http://www.cs.bham.ac.uk/admissions/postgraduate-research/
If you are considering applying, please contact any of us. We will be =20=
very happy to discuss the opportunities available.
Best regards,
the Birmingham CS theory group
Mart=C3=ADn Escard=C3=B3
(Topology, computation with infinite objects, constructive =20
mathematics, intuitionistic type theory)
Dan Ghica
(Game semantics, heterogeneous computing, model checking)
Achim Jung
(Mathematical structures in the foundations of computing: logic, =20
topology, order)
Paul Levy
(Denotational semantics, =CE=BB-calculus with effects, nondeterminism, =20=
category theory, game semantics)
Uday Reddy
(Semantics of state, separation logic)
Eike Ritter
(Security protocol verification)
Hayo Thielecke
(Abstract machines, concurrent and functional programming, software =20
security)
Steve Vickers
Constructive mathematics and topology, category theory and toposes
--
Paul Blain Levy
School of Computer Science, University of Birmingham
+44 121 414 4792
http://www.cs.bham.ac.uk/~pbl
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]