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/ ]