The Foundations of Computer Science Research Group

FoCS at OUCL

Members

Seminars

Our events

RESEARCH

FP6 STREP QICS

Members

• Samson Abramsky [www] (group head)
• Dmitri Akatov [www]
• Alexandru Baltag [www]
• William Blum [www]
• Bob Coecke [www]
• Jolie De Miranda [www]
• Ross Duncan [www]
• Penelope Economou [www]
• Bill Edwards [www]
• Will Greenland [www]
• Matthew Hague [www]
• Brian Harrington [www]
• Elham Kashefi [www]
• Andrew Ker [www]
• Andrzej Murawski [www]
• Hanno Nickau [www]
• Luke Ong [www]
• Joel Ouaknine [www]
• Sam Sanjabi [www]
• Nikolaos Tzevelekos [www]
• Ben/James Worrell [www]

Past (recent) Members

• Dan Ghica [www]
• Peter Hines [www]
• Keye Martin [www]

Current Visitors

• Mehrnoosh Sadrzadeh [www]

Regular and Past (recent) Visitors

• Klaus Aehlig [www]
• Vincent Danos
• Herman Jervell
• Neil Jones
• Isar Stubbe
• Prakash Panangaden [www]
• Dusko Pavlovic [www]
• Philip J. Scott [www]
• Sonja Smets [www]
• Ian Stark
• Frank Valckenborgh

Allies in other departments:

• Dan Browne [www] in physics who manages the [QUOXIC] workshop series between the [Blacket Laboratory] at Imperial College, and the [Clarendon Laboratory] and us at Oxford.
• Jeremy Butterfield [www] in philosophy who runs the [Phylosophy of Physics Research Seminar] and runs a mailing list in philosophy, physics, logic related events in the Oxford-London area.
• Peter Collins [www] in mathematics who manages the [Analytic Topology in Mathematics and Computer Science] seminars between the Mathematical Institute and us.
• Hilary Priestley [www] in mathematics.