Laboratory for Foundations of Computer Science
| |||||||
| Name | Office | Extn# | |||||
|---|---|---|---|---|---|---|---|
| Shunichi Amano |
|
IF-5.06 | 505185 | ||||
| Stuart Anderson |
|
IF-3.46 | 505191 | ||||
| Apostolos Apostolidis |
|
IF-5.06 | 505185 | ||||
| David Aspinall |
|
IF-4.04A | 505177 | ||||
| Robert Atkey |
|
IF-5.28 | 505142 | ||||
| Malcolm Atkinson |
|
NESC- | 514040 | ||||
| Lennart Beringer |
|
||||||
| Julian Bradfield |
|
IF-4.07 | 505998 | ||||
| Jorge Branco Aires |
|
IF-4.06 | 505144 | ||||
| Vaclav Brozek |
|
||||||
| Alan Bundy |
|
IF-2.15 | 502716 | ||||
| Peter Buneman |
|
IF-5.15 | 505133 | ||||
| Brian Campbell |
|
IF-5.38 | 505138 | ||||
| James Cheney |
|
IF-5.12 | 513835 | ||||
| Byron Choi |
|
AT-2.11 | 505180 | ||||
| Federica Ciocchetta |
|
IF-3.51 | 505193 | ||||
| Allan Clark |
|
IF-3.51 | 505193 | ||||
| Lorenzo Clemente |
|
IF-5.34 | |||||
| Amin Coja-Oghlan |
|
IF-5.18 | 505129 | ||||
| Ezra Cooper |
|
IF-5.34 | 506950 | ||||
| Patrick Creed |
|
IF-5.34 | 506950 | ||||
| Mary Cryan |
|
IF-5.16 | 505153 | ||||
| Vincent Danos |
|
IF-2.46 | 505150 | ||||
| Claire David |
|
IF-5.37 | 513835 | ||||
| Margaret Davis |
|
IF-4.37 | 505132 | ||||
| Ewen Denney |
|
||||||
| Jie Ding |
|
||||||
| Adam Duguid |
|
IF-3.50 | 506015 | ||||
| Marjorie Dunlop |
|
IF-4.37 | 513435 | ||||
| Jeff Egger |
|
IF-5.38 | 505138 | ||||
| Kousha Etessami |
|
IF-5.21 | 505197 | ||||
| Wenfei Fan |
|
IF-5.23 | 513877 | ||||
| Michael Fourman |
|
IF-3.30 | 513266 | ||||
| Vashti Galpin |
|
IF-3.51 | 505193 | ||||
| Floris Geerts |
|
IF-5.12 | 515659 | ||||
| Stephen Gilmore |
|
IF-3.47 | 505189 | ||||
| Dyane Goodchild |
|
IF-5.39 | 505116 | ||||
| Maria Luisa Guerriero |
|
IF-3.51 | 505193 | ||||
| Qianghui Guo |
|
||||||
| Julian Gutierrez |
|
IF-4.06 | 505144 | ||||
| Willem Heijltjes |
|
IF-5.32 | 505151 | ||||
| Jane Hillston |
|
IF-3.49 | 505199 | ||||
| Yanli Hu |
|
IF-5.34 | 506950 | ||||
| DeLesley Hutchins |
|
AT-7.11 | 509004 | ||||
| Paul Jackson |
|
IF-4.05 | 505131 | ||||
| Mark Jerrum |
|
||||||
| Xibei Jia |
|
AT-8.04 | 509981 | ||||
| Natthapong Jungteerapanich |
|
JCMB-1617 | 505157 | ||||
| Mike Just |
|
IF-5.38 | 505138 | ||||
| Kyriakos Kalorkoti |
|
IF-5.26 | 505149 | ||||
| Ohad Kammar |
|
||||||
| Elham Kashefi |
|
IF-5.30 | 515631 | ||||
| Benedict Kavanagh |
|
IF-5.32 | 505151 | ||||
| Gavin Keighren |
|
IF-4.06 | 505144 | ||||
| Jacob King |
|
||||||
| Ioannis Koltsidas |
|
IF-5.06 | 505185 | ||||
| Konstantinos Krikellas |
|
IF-5.06 | 505185 | ||||
| Marek Kwiatkowski |
|
IF-3.50 | 506015 | ||||
| Monika-Jeannette Lekuse |
|
IF-4.36 | 505190 | ||||
| Leonid Libkin |
|
IF-5.33 | 513816 | ||||
| Samuel Lindley |
|
IF-5.28 | 505142 | ||||
| John Longley |
|
IF-5.29 | 505140 | ||||
| Christoph Luth |
|
||||||
| Shuai Ma |
|
IF-5.32 | 505151 | ||||
| Kenneth MacKenzie |
|
IF-5.38 | 505138 | ||||
| Savvas Makalias |
|
IF-5.06 | 505185 | ||||
| James Matthews |
|
IF-5.34 | 506950 | ||||
| Richard Mayr |
|
IF-4.11 | 505130 | ||||
| Magdalena Mazurczak |
|
IF-4.37 | 505132 | ||||
| Mags McGeever |
|
AT-2.14 | 513836 | ||||
| Matteo Mio |
|
IF-5.32 | 505152 | ||||
| Faron Moller |
|
||||||
| Alberto Momigliano |
|
JCMB-2601 | 505138 | ||||
| Heiko Mueller |
|
IF-5.37 | 513855 | ||||
| Filip Murlak |
|
IF-5.28 | 505142 | ||||
| Colin Neilson |
|
AT-2.03 | |||||
| Nicholas O'Shea |
|
IF-3.50 | 506015 | ||||
| Grant Passmore |
|
IF-4.06 | 505144 | ||||
| Michael Pedersen |
|
IF-3.50 | 506015 | ||||
| Simon Perdrix |
|
||||||
| Marius Petria |
|
IF-4.06 | |||||
| Gordon Plotkin |
|
IF-3.47 | 505158 | ||||
| John Power |
|
JCMB-2621 | 505159 | ||||
| Matija Pretnar |
|
IF-3.50 | |||||
| Graham Pryor |
|
AT-2.14 | 506604 | ||||
| Sandra Quickert |
|
JCMB-2602 | 517177 | ||||
| Dave Robertson |
|
IF-2.14 | 502709 | ||||
| Kay Sakagawa |
|
IF-4.37 | 513442 | ||||
| Don Sannella |
|
IF-4.04 | 505184 | ||||
| Rahul Santhanam |
|
IF-5.20 | 515606 | ||||
| Masahiko Sato |
|
||||||
| Jaroslav Sevcik |
|
IF-4.06 | |||||
| Alex Simpson |
|
IF-5.25 | 505113 | ||||
| Alan Smaill |
|
IF-2.03 | 502710 | ||||
| Michael Smith |
|
IF-3.50 | |||||
| Joseph Spadavecchia |
|
AT-2.16 | 505187 | ||||
| Ian Stark |
|
IF-5.04 | 505143 | ||||
| Mark Steedman |
|
IF-4.15 | 504631 | ||||
| Marco Stenico |
|
JCMB-2621 | 505159 | ||||
| Perdita Stevens |
|
IF-5.05 | 505195 | ||||
| Colin Stirling |
|
IF-5.07 | 505186 | ||||
| Wang-Chiew Tan |
|
||||||
| Jane Teplechuk |
|
IF-4.37 | 505128 | ||||
| Anthony To |
|
IF-1.05 | |||||
| Mirco Tribastone |
|
IF-3.50 | |||||
| Vasilis Vasaitis |
|
IF-5.06 | |||||
| Stratis Viglas |
|
IF-5.11 | 505183 | ||||
| Philip Wadler |
|
IF-5.31 | 505174 | ||||
| Angus Whyte |
|
AT-8.08 | 509986 | ||||
| Dominik Wojtczak |
|
IF-5.34 | 506950 | ||||
| Nicholas Wolverson |
|
JCMB-1609 | 505151 | ||||
| Yinghui Wu |
|
IF-5.32 | |||||
| Yunpeng Wu |
|
||||||
| Jeremy Yallop |
|
IF-5.28 | |||||
| Christopher Yocum |
|
||||||
|
Please contact us with any
comments or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh |
|