Some Researchers in Logical Frameworks
This contains pointers to various researchers in logical frameworks.
This information is highly incomplete. Please contribute! Some researchers
formerly listed here whom I could not find, or no longer work in the field,
are given, can be found in a separate list.
- Peter Aczel,
petera@cs.man.ac.uk
- Andrew Appel,
appel@princeton.edu
- Thorsten Altenkirch,
alti@informatik.uni-muenchen.de
- Penny Anderson
penny@tcnj.edu
- Arnon Avron,
aa@math.tau.ac.il
- Gilles Barthe,
gilles.barthe@sophia.inria.fr
- David Basin,
basin@informatik.uni-freiburg.de
- Stefano Berardi,
stefano@di.unito.it
- Ulrich Berger,
u.berger@swan.ac.uk
- Marc Bezem,
bezem@phil.uu.nl
- Ana Bove,
bove@cs.chalmers.se
- N.G. de Bruijn,
wsdwnb@win.tue.nl
- Iliano Cervesato,
iliano@cs.stanford.edu
- Guillermo Calderon,
calderon@fing.edu.uy
- Adriana Compagnoni,
abc@cs.stevens-tech.edu
- Catarina Coquand,
catarina@cs.chalmers.se
- Thierry Coquand,
coquand@cs.chalmers.se
- Judicael Courant,
judicael.courant@lri.fr
- Sylvia da Rosa,
darosa@fing.edu.uy
- Nachum Dershowitz,
nachum@cs.uiuc.edu
- Joëlle Despeyroux,
joelle.despeyroux@sophia.inria.fr
- Gilles Dowek,
gilles.dowek@inria.fr
- Dominic Duggan,
dduggan@cs.stevens-tech.edu
- Peter Dybjer,
peterd@cs.chalmers.se
- Amy Felty,
felty@bell-labs.com
- Jean-Christophe Filliatre,
filliatr@lri.fr
- Daniel Friedlender,
daniel@brics.dk
- Murdoch Gabbay,
mjg1003@cl.cam.ac.uk
- Veronica Gaspes,
vero@itn.hh.se
- Herman Geuvers,
herman@cs.kun.nl
- Healfdene Goguen,
hhg@att.com
- Rajeev Gore,
rpg@arp.anu.edu.au
- Masami Hagiya,
hagiya@is.s.u-tokyo.ac.jp
- Hugo Herbelin,
hugo.herbelin@inria.fr
- John Hannan,
hannan@cse.psu.edu
- Robert Harper,
robert.harper@cs.cmu.edu
- Martin Hofmann,
mxh@dcs.ed.ac.uk
- Furio Honsell,
honsell@dimi.uniud.it
- Douglas Howe,
howe@research.bell-labs.com
- Gérard Huet,
gerard.huet@inria.fr
- Samin Ishtiaq,
si@dcs.qmw.ac.uk
- Jean-Pierre Jouannaud,
jouannau@lri.fr
- Claude Kirchner,
claude.kirchner@loria.fr
- Hélène Kirchner,
helene.kirchner@loria.fr
- Connor McBride,
ctm@dcs.ed.ac.uk
- Zhaohui Luo,
Zhaohui.Luo@durham.ac.uk
- Seán Matthews,
sean@mpi-sb.mpg.de
- Raymond McDowell,
mcdowell@kzoo.edu
- James McKinna,
j.h.mckinna@durham.ac.uk
- Marino Miculan,
miculan@dimi.uniud.it
- Dale Miller,
dale@cse.psu.edu
- Gopalan Nadathur,
gopalan@cs.uchicago.edu
- Tobias Nipkow,
tobias.nipkow@informatik.tu-muenchen.de
- Bengt Nordström,
bengt@cs.chalmers.se
- Mitsuhiro Okada,
mitsu@abelard.flet.keio.ac.jp
- Michel Parigot,
parigot@logique.jussieu.fr
- Christine Paulin,
christine.paulin@lri.fr
- Larry Paulson,
larry.paulson@cl.cam.ac.uk
- Frank Pfenning,
fp@cs
- Andrew Pitts,
Andrew.Pitts@cl.cam.ac.uk
- Mark Plesko,
mp5f@cs.cmu.edu
- Gordon Plotkin,
gdp@dcs.ed.ac.uk
- Randy Pollack,
pollack@brics.dk
- Christian Prehofer,
prehofer@informatik.tu-muenchen.de
- David Pym,
pym@dcs.qmw.ac.uk
- Aarne Ranta,
aarne@cs.chalmers.se
- Bernhard Reus,
bernhard@cogs.susx.ac.uk
- Alexis Richardson,
Alexis.Richardson@comlab.ox.ac.uk
- Eike Ritter,
E.Ritter@cs.bham.ac.uk
- Piotr Rudnicki,
piotr@cs.ualberta.ca
- Amokrane Saibi,
saibi@pauillac.inria.fr
- Anne Salvesen,
abs@ifi.uio.no
- Giovanni Sambin,
sambin@math.unipd.it
- Peter Schroeder-Heister,
psh@hume.informatik.uni-tuebingen.de
- Carsten Schürmann,
carsten@cs.cmu.edu
- Alan Smaill,
A.Smaill@ed.ac.uk
- Jan Smith,
smith@cs.chalmers.se
- Aaron Stump,
stump@cs.stanford.edu
- Nora Szasz,
nora@fing.edu.uy
- Luca Viganò,
luca@informatik.uni-freiburg.de
- Roberto Virga,
roberto.virga@cs.cmu.edu
- Markus Wenzel,
wenzelm@in.tum.de
- Benjamin Werner,
benjamin.werner@inria.fr
- David Wolfram,
david.wolfram@cs.anu.edu.au
- Vincent van Oostrom,
oostrom@phil.uu.nl
- Jan von Plato,
vonplato@helsinki.fi
- Burkhart Wolff,
bwolff@inf.ethz.ch
Further pointers:
Last Updated: Wed Jul 28 1999
Frank Pfenning
fp@cs