Laboratory for Foundations of Computer Science Directory
 
Name Email Office Extn#
Shunichi Amano
<S.Amano@sms.ed.ac.uk>
 IF-5.06 505185
Stuart Anderson
<soa@inf.ed.ac.uk>
 IF-3.46 505191
Apostolos Apostolidis
<A.Apostolidis-2@sms.ed.ac.uk>
 IF-5.06 505185
David Aspinall
<David.Aspinall@ed.ac.uk>
 IF-4.04A 505177
Robert Atkey
<ratkey@inf.ed.ac.uk>
 IF-5.28 505142
Malcolm Atkinson
<mpa@nesc.ac.uk>
 NESC- 514040
Lennart Beringer
<lenb@inf.ed.ac.uk>
Julian Bradfield
<jcb@inf.ed.ac.uk>
 IF-4.07 505998
Jorge Branco Aires
<J.A.B.Aires@sms.ed.ac.uk>
 IF-4.06 505144
Vaclav Brozek
<v1vbroze@inf.ed.ac.uk>
Alan Bundy
<bundy@staffmail.ed.ac.uk>
 IF-2.15 502716
Peter Buneman
<opb@inf.ed.ac.uk>
 IF-5.15 505133
Brian Campbell
<Brian.Campbell@ed.ac.uk>
 IF-5.38 505138
James Cheney
<jcheney@inf.ed.ac.uk>
 IF-5.12 513835
Byron Choi
<v1bchoi@inf.ed.ac.uk>
 AT-2.11 505180
Federica Ciocchetta
<fciocche@inf.ed.ac.uk>
 IF-3.51 505193
Allan Clark
<A.D.Clark@ed.ac.uk>
 IF-3.51 505193
Lorenzo Clemente
<L.Clemente@sms.ed.ac.uk>
 IF-5.34
Amin Coja-Oghlan
<acoghlan@inf.ed.ac.uk>
 IF-5.18 505129
Ezra Cooper
<E.E.K.Cooper@sms.ed.ac.uk>
 IF-5.34 506950
Patrick Creed
<P.J.Creed@sms.ed.ac.uk>
 IF-5.34 506950
Mary Cryan
<mcryan@inf.ed.ac.uk>
 IF-5.16 505153
Vincent Danos
<vdanos@inf.ed.ac.uk>
 IF-2.46 505150
Claire David
<cdavid@inf.ed.ac.uk>
 IF-5.37 513835
Margaret Davis
<mda@inf.ed.ac.uk>
 IF-4.37 505132
Ewen Denney
<ewd@inf.ed.ac.uk>
Jie Ding
<J.Ding-4@sms.ed.ac.uk>
Adam Duguid
<A.J.Duguid@sms.ed.ac.uk>
 IF-3.50 506015
Marjorie Dunlop
<mdunlop2@staffmail.ed.ac.uk>
 IF-4.37 513435
Jeff Egger
<jeffegger@yahoo.ca>
 IF-5.38 505138
Kousha Etessami
<kousha@inf.ed.ac.uk>
 IF-5.21 505197
Wenfei Fan
<wenfei@inf.ed.ac.uk>
 IF-5.23 513877
Michael Fourman
<Michael.Fourman@ed.ac.uk>
 IF-3.30 513266
Vashti Galpin
<Vashti.Galpin@ed.ac.uk>
 IF-3.51 505193
Floris Geerts
<fgeerts@inf.ed.ac.uk>
 IF-5.12 515659
Stephen Gilmore
<stg@inf.ed.ac.uk>
 IF-3.47 505189
Dyane Goodchild
<dyane@inf.ed.ac.uk>
 IF-5.39 505116
Maria Luisa Guerriero
<mguerrie@inf.ed.ac.uk>
 IF-3.51 505193
Qianghui Guo
<Q.Guo-2@sms.ed.ac.uk>
Julian Gutierrez
<J.E.Gutierrez@ed.ac.uk>
 IF-4.06 505144
Willem Heijltjes
<W.B.Heijltjes@sms.ed.ac.uk>
 IF-5.32 505151
Jane Hillston
<jeh@inf.ed.ac.uk>
 IF-3.49 505199
Yanli Hu
<Y.Hu-16@sms.ed.ac.uk>
 IF-5.34 506950
DeLesley Hutchins
<D.S.Hutchins@sms.ed.ac.uk>
 AT-7.11 509004
Paul Jackson
<pbj@inf.ed.ac.uk>
 IF-4.05 505131
Mark Jerrum
<mrj@inf.ed.ac.uk>
Xibei Jia
<Xibei.Jia@ed.ac.uk>
 AT-8.04 509981
Natthapong Jungteerapanich
<N.Jungteerapanich@sms.ed.ac.uk>
 JCMB-1617 505157
Mike Just
<mjust@inf.ed.ac.uk>
 IF-5.38 505138
Kyriakos Kalorkoti
<kk@inf.ed.ac.uk>
 IF-5.26 505149
Ohad Kammar
<ohad.kammar@gmail.com>
Elham Kashefi
<ekashefi@inf.ed.ac.uk>
 IF-5.30 515631
Benedict Kavanagh
<B.I.Kavanagh@sms.ed.ac.uk>
 IF-5.32 505151
Gavin Keighren
<gavin.keighren@ed.ac.uk>
 IF-4.06 505144
Jacob King
<s9363573@sms.ed.ac.uk>
Ioannis Koltsidas
<I.Koltsidas@sms.ed.ac.uk>
 IF-5.06 505185
Konstantinos Krikellas
<K.Krikellas@sms.ed.ac.uk>
 IF-5.06 505185
Marek Kwiatkowski
<M.Kwiatkowski@ed.ac.uk>
 IF-3.50 506015
Monika-Jeannette Lekuse
<mkl@inf.ed.ac.uk>
 IF-4.36 505190
Leonid Libkin
<libkin@inf.ed.ac.uk>
 IF-5.33 513816
Samuel Lindley
<slindley@inf.ed.ac.uk>
 IF-5.28 505142
John Longley
<jrl@inf.ed.ac.uk>
 IF-5.29 505140
Christoph Luth
<v1cluth@inf.ed.ac.uk>
Shuai Ma
<sma1@inf.ed.ac.uk>
 IF-5.32 505151
Kenneth MacKenzie
<kwxm@inf.ed.ac.uk>
 IF-5.38 505138
Savvas Makalias
<S.Makalias@sms.ed.ac.uk>
 IF-5.06 505185
James Matthews
<J.B.Matthews@sms.ed.ac.uk>
 IF-5.34 506950
Richard Mayr
<richard_mayr_ed@yahoo.co.uk>
 IF-4.11 505130
Magdalena Mazurczak
<mmazurcz@inf.ed.ac.uk>
 IF-4.37 505132
Mags McGeever
<mags.mcginley@ed.ac.uk>
 AT-2.14 513836
Matteo Mio
<M.Mio@sms.ed.ac.uk>
 IF-5.32 505152
Faron Moller
<v1fmolle@inf.ed.ac.uk>
Alberto Momigliano
<amomigl1@inf.ed.ac.uk>
 JCMB-2601 505138
Heiko Mueller
<hmueller@inf.ed.ac.uk>
 IF-5.37 513855
Filip Murlak
<fmurlak@staffmail.ed.ac.uk>
 IF-5.28 505142
Colin Neilson
<cneilson@inf.ed.ac.uk>
 AT-2.03
Nicholas O'Shea
<N.P.O'Shea@sms.ed.ac.uk>
 IF-3.50 506015
Grant Passmore
<G.O.Passmore@sms.ed.ac.uk>
 IF-4.06 505144
Michael Pedersen
<M.D.Pedersen@sms.ed.ac.uk>
 IF-3.50 506015
Simon Perdrix
<simon.perdrix@gmail.com>
Marius Petria
<M.Petria@sms.ed.ac.uk>
 IF-4.06
Gordon Plotkin
<gdp@inf.ed.ac.uk>
 IF-3.47 505158
John Power
<ajp@inf.ed.ac.uk>
 JCMB-2621 505159
Matija Pretnar
<M.Pretnar@sms.ed.ac.uk>
 IF-3.50
Graham Pryor
<Graham.Pryor@ed.ac.uk>
 AT-2.14 506604
Sandra Quickert
<squicke1@informatics.ed.ac.uk>
 JCMB-2602 517177
Dave Robertson
<dr@inf.ed.ac.uk>
 IF-2.14 502709
Kay Sakagawa
<kay.sakagawa@ed.ac.uk>
 IF-4.37 513442
Don Sannella
<dts@inf.ed.ac.uk>
 IF-4.04 505184
Rahul Santhanam
<rsanthan@inf.ed.ac.uk>
 IF-5.20 515606
Masahiko Sato
<masahiko@kuis.kyoto-u.ac.jp>
Jaroslav Sevcik
<J.Sevcik@sms.ed.ac.uk>
 IF-4.06
Alex Simpson
<als@inf.ed.ac.uk>
 IF-5.25 505113
Alan Smaill
<A.Smaill@ed.ac.uk>
 IF-2.03 502710
Michael Smith
<M.J.A.Smith@sms.ed.ac.uk>
 IF-3.50
Joseph Spadavecchia
<J.Spadavecchia@sms.ed.ac.uk>
 AT-2.16 505187
Ian Stark
<stark@inf.ed.ac.uk>
 IF-5.04 505143
Mark Steedman
<steedman@inf.ed.ac.uk>
 IF-4.15 504631
Marco Stenico
<M.Stenico@sms.ed.ac.uk>
 JCMB-2621 505159
Perdita Stevens
<perdita@inf.ed.ac.uk>
 IF-5.05 505195
Colin Stirling
<cps@inf.ed.ac.uk>
 IF-5.07 505186
Wang-Chiew Tan
<v1twchie@inf.ed.ac.uk>
Jane Teplechuk
<j.ignatova@ed.ac.uk>
 IF-4.37 505128
Anthony To
<A.W.To@sms.ed.ac.uk>
 IF-1.05
Mirco Tribastone
<mtribast@inf.ed.ac.uk>
 IF-3.50
Vasilis Vasaitis
<V.Vasaitis@sms.ed.ac.uk>
 IF-5.06
Stratis Viglas
<sviglas@inf.ed.ac.uk>
 IF-5.11 505183
Philip Wadler
<wadler@inf.ed.ac.uk>
 IF-5.31 505174
Angus Whyte
<awhyte1@inf.ed.ac.uk>
 AT-8.08 509986
Dominik Wojtczak
<D.K.Wojtczak@sms.ed.ac.uk>
 IF-5.34 506950
Nicholas Wolverson
<N.Wolverson@sms.ed.ac.uk>
 JCMB-1609 505151
Yinghui Wu
<Y.Wu-18@sms.ed.ac.uk>
 IF-5.32
Yunpeng Wu
<v1ywu2@inf.ed.ac.uk>
Jeremy Yallop
<J.D.Yallop@sms.ed.ac.uk>
 IF-5.28
Christopher Yocum
<s0340110@sms.ed.ac.uk>


Home : Research : Lfcs 

Please contact us with any comments or corrections.
Unless explicitly stated otherwise, all material is copyright The University of Edinburgh