Deprecated : The each() function is deprecated. This message will be suppressed on further calls in /home/zhenxiangba/zhenxiangba.com/public_html/phproxy-improved-master/index.php on line 456 Researchers in Logical Frameworks
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 1999Frank Pfenning
fp@cs