Home pages of other scientists working in similar areas
Martin Abadi
@ Univ of California at Santa Cruz
Peter Achten, @ University of Nijmegen (email)
Johan Agat, @ Chalmers Tekniska (email)
Alex Aiken, @ Stanford Computer Science Department (previously @ Berkeley
(Titanium project))
Lloyd Allison, @ Monash University
Maria Alpuente, University of
Valencia
Roberto Amadio, @ Universite de Provence, Marseille
Christopher Anand,
@ McMaster Univ, Canada
Andrew Appel, @ Computer Science, Princeton University
Arvind, @ Computation Structures Group in the Laboratory for Computer Science, M.I.T.
Claus Assmann, @ Informatik, Christian Albrechts University Kiel
Lennart Augustsson, @ Standard Chartered Bank
Gerald Baumgartner, @ Ohio State University (publications) (old home @ Purdue University)
Andrew Bennett (papers )
Nick Benton, @ Microsoft Research Cambridge
Henry Baker
Holger Bischof, @ TU Berlin
Rob Bisseling, @ Utrecht Univ
(BSP Worldwide)
Bror Bjerner, @ Computer Science, Chalmers
Guy Blelloch, @ CMU (NESLpapers)
F.S de Boer, @
University of Utrecht
Wim Bohm, (Dataflow page, email)
Silvia Breitinger, @ Uni Marburg (email)
Gerth Stølting Brodal
Richard Brooksby
@ Ravenbrook Ltd
Peter Buhr
@ Univ of Waterloo
F. Warren Burton
Luca Cardelli @ Microsoft Research Ltd, Cambridge
Brian D. Carlstrom, @ Stanford Computer Science Department
Manuel Chakravarty (Tsukuba,TU Berlin), @ Univ of New South Wales
Nathan Charles, @ Department of Computer Science, University of York (email)
Olaf Chitil, @ RWTH Aachen (email)
Chin Wei Ngan @
National University of Singapore
Chris Clack, @ UCL (email)
Murray Cole, @ University of Edinburgh
(papers,
skeletons homepage)
Charles Consel, @ Oregon Graduate Institute
Pascal Constanza, @ Uni Bonn (email)
David Culler, @ Berkeley
(email)
Pierre-Louis Curien
Olivier Danvy,
@ BRICS,, Univ of Aarhus
Tony Davie, @ University of St Andrews (email)
Kei Davis @ LANL (email)
Saumya K. Debray
Julian Dermoudy
Alastair Donaldson
Jack Dongarra, @ University of Tennessee
,
@ Chalmers Univ of Technology
Ralf Ebner, TU München
Marko van Eekelen,
@ Departmant of Computing Science, University of Nijmegen (email)
Andreas Ermedahl,
@ Uppsala Univ (see ASTEC project)
Martin Erwig, @ FernUniversitaet Hagen (email)
Santiago Escobar, @ Unuversidad Politecnica de Valencia
Marc Feeley, @ University of Montreal
Tony Field, @ Imperial College London
Philippe Flajolet, INRIA
ALGO project
Cormac Flanagan, Rice Univ
Ian Foster, @ Argonne National Laboratory
Thomas Frühwirth, @ LMU Munich
Guang R. Gao
Al Geist, @
Oak Ridge National Lab
Hugh Glaser
John Glauert, @ University of East Anglia
Benjamin Goldberg
Seth Copen Goldstein, @ CMU
(email)
(old home at
Berkeley;
old email)
Sergei Gorlatch, @ TU Berlin
Clemens Grelck, @ Luebeck
Bernd Grobauer, @ Univ of Aarhus
Gaetan Hains, @ LIFO Univ of Orleans ()
old URL
Bert Halstead (publications)
Kevin Hammond, @ FP group University of St Andrews
(papers)
Robert Harper, @ CMU
Pete Harrison, @ Imperial College London
Thomas Henzinger, @ Models and Theory of Comp Lab EPFL
Christoph Hermann
University of Passau
Manuel Hermenegildo, @ Universidad Politecnica de Madrid (The Computational logic, Languages,
Implementation, and Parallelism Lab)
Mercedes Hidalgo Herrero, @ FP group of Universidad Complutense de Madrid
Jonathan Hill, @ Oxford University Computing Laboratory
Ralf Hintze, @ Computer Science Department III, University of Bonn
Rutger Hofman, @
Department of Computer Science, University of Amsterdam
Susumu Horiguchi @ JAIST
Paul Hudak, @ Yale
John Hughes, @ Chalmers
Graham Hutton, @ University of Nottingham (papers)
Barry Jay, @ School of Computing Sciences, University of Technology, Sydney
Patrik Jansson, @ Chalmers
(PolyP)
Stephen Jarvis, @ Oxford University Computing Laboratory
Barry Jay,
@ University of Technology, Sidney
Thomas Johnsson, @ Chalmers
(email)
Mark P. Jones, @ University of Nottingham (old home, email)
Neil Jones,
@ Univ of Copenhagen
Richard Jones, @ University of Kent
(UK Memory Management Network)
Simon B Jones, @ University of Stirling
Pierre Jouvelot, Ecole des
Mines de Paris
Mike Joy
Sahalu Junaidu, @ University of St Andrews (email)
Peter Kacsuk, @ MTA SZTAKI, Hungary
Stefan Kahrs, @ University of Kent
Einar Karlsen, @ University of Bremen (email)
Gabriele Keller, @ UTS, Sydney
Paul H J Kelly, @ Imperial College London
Richard Kelsey
Richard Kennaway, @ University of East Anglia (papers)
Werner Kluge, @ Dept of Computer (email)
Claude Kirchner, @ LORIA Nancy
Ulrike Klusik, @ Uni Marburg
Don Knuth,
@ Stanford Computer Science Department
Naoki Kobayashi, @ Univ of Tokyo (publications)
Pieter Koopman, @ Leiden University (email)
Herbert Kuchen, @ Uni Muenster
David A. Kranz
James R. Larus
John Launchbury, @ Oregon Graduate Institute
Rustan Leino, @ Microsoft Research
(papers)
Christian Lengauer, @
Lehrstuhl Programmierung, Fakultät Informatik/Mathematik
Universität Passau
Yanhong Annie Liu, @
SUNY at Stony Brook
Rita Loogen
(old url),
@ Uni Marburg
(email)
Frederic Loulergue,
@ Université Paris XII-Val de Marne
David Lowenthal @ University of Georgia
Christian Maeder, @ Technical University Berlin (email)
Jan-Willem Maessen (pH project)
Jean-Yves Marion,
@ LORIA Nancy
Kim Marriott,
@ Monash University
Jim Mattson, @ Transmeta Corp.
(formerly at Glasgow)
Bruce J McKenzie, @ Department of Computer Science, University of Canterbury (email)
Jose Meseguer, @ University of Illinois at Urbana-Champaign
Sergey Meshveliani (working on Computer Algebra in Haskell)
Greg Michaelson, @ Heriot-Watt University (email)
Sava Mintchev, @ School of Computer Science, University of Westminster (email)
Rajiv Mirani
Prateek Mishra, @ Stony Brook University
John C. Mitchell, @ Stanford
(publications)
Torben Mogensen, @ DIKU, University of Copenhagen (email)
Markus Mohnen, @ RWTH Aachen (email)
Luc Moreau @ University of Southampton
Graeme E. Moss, @ Department of Computer Science, University of York (email)
Peter D. Mosses @ BRICS
Alan Mycroft @
Cambridge University Computer Laboratory
Jon Mountjoy, @ >University of Amsterdam (email)
Tom Murphy VII, @ CMU
B. Clifford Neumann,
@ University of Sothern California (email)
Flemming Nielson, @ (Papers)
Rishiyur S. Nikhil (The pHluid System Home Page, The Cid System Home Page)
Johann Nordlander @ OGI
John O'Donnell, @ University of Glasgow (email)
Martin Odersky @ Prging Lang Lab Ecole Polytechnique Fédérale de Lausanne (old home page,even older home page)
Peter O'Hearn, @
Queen Mary College, Univ of London
(old home, @ CMU,
old home @ Columbia Univ)
Chris Okasaki, @
West Point
Yolanda Ortega Mallén, @ FP group of Universidad Complutense de Madrid
Gerald Ostheimer, @ University of St Andrews
Sven Panne, @ LMU Munich
Jens Palsberg, @ Purdue University (publications)
Lars Pareto, @ Chalmers
Andrew Partridge, @ Department of Computer Science, James Cook University
(email)
Susanna Pelagatti, @ Univ Pisa
Ricardo Pena Mari, @ FP group of Universidad Complutense de Madrid
Peter Pepper, @ TU Berlin
Simon Peyton Jones, @
Microsoft Research Cambridge
Ben Pierce
Marco Pil, @ Departmant of Computing Science, University of Nijmegen (email)
Andrew Pitts @ Cambridge
Rinus Plasmeijer, @ Departmant of Computing Science, University of Nijmegen
(email)
p
Amir Pnueli, @ Weizmann Institute of Science
Steffen Priebe, @ Uni Marburg
Tony Printezis, @ University of Glasgow
Claire Quigley, @ University of Glasgow
Juan J. Quintela, @ University of A Coruña (email)
Fethi Rabhi, University of New South Wales (email)
Roopa Rangaswami, @ University of Edinburgh (papers)
Alvaro J Rebon Portillo, @ FP group University of St Andrews
Uday Reddy. @ University of Birmingham
Alastair Reid
@ Reid Consulting Ltd
(
old URL in Utah)
(even older home in Yale)
Claus Reinke, @ University of Kent (old home @ Institute of Computer Science, University of Kiel (email))
Jonathan A. Rees
Brian Reistad, @
MIT
Martin Rinard @
MIT
Mads Rosendahl
Fernando Rubio Diez, @ FP group of Universidad Complutense de Madrid
Colin Runciman, @ University of York (email)
Amr Sabry
Dan Sahlin, @ Ericsson Telecom (email)
Shuichi Sakai,
@ University of Tsukuba
David Sands, @ Chalmers
Vivek Sarkar (publications), @ MIT Laboratory for Computer Science
Vladimiro Sassone , Univ of Sussex
Norman Scaife, @ VERIMAG, Univ od Grenoble ; email (old home @ Heriot-Watt University
Klaus Erik Schauser, @ University California Santa Barbara (UCSB) (papers, email
Sven-Bodo Scholz, @
University of Kiel
(email)
David A. Schmidt
Wolfgang Schreiner, @ RISC-Linz (email)
Clara Maria Segura Diaz, @ FP group of Universidad Complutense de Madrid
Jocelyn Serot, @
Blaise Pascal University
Pascal Ramon Serrarens,
@ University of Nijmegen
(email)
Peter Sestoft,
@ Royal Veterinary and
Agricultural Universit (email)
Marc Shapiro @ Microsoft Research Cambridge
Mark Shields, @ Glasgow University (email)
Olin Shivers, @ Northeastern University
(formerly MIT,
AI Lab
Express Project)
Joseph Sifakis @ VERIMAG, Univ Grenoble
David Skillicorn @ Queens University
Jan Sparud, @ Department of Computer Science, University of York (email)
Eleni Spiliopoulou,
@ Department of Computer Science,
University of Bristol (email)
Thomas Streicher,
Technische Universität Darmstadt
Mario Südholt
Gerald Jay Sussman
Carolyn L. Talcott
Francis Tang @ Edinburgh Univ
Peter Thiemann, @ Institut für Informatik, Uni Freiburg
Simon Thompson, University of Kent
Michael Thyer, @ Comp Sci, York Uni (email)
Walter F. Tichy,
@ Univ Karlsruhe
Mads Tofte @ IT Univ of Copenhagen
Phil Trinder, @ MACS Heriot-Watt University
(email)
(old page at Glasgow University)
Scott Turner
Leena Unnikrishnan, @
SUNY at Stony Brook
Robert Virding, @ Computer Science Laboaratory, Ericsson Telecom
(email)
Phil Wadler, @ LFCS Edinburgh University (old homepage @ Lucent Technologies)
David Wakeling, @ Department of Computer Science, University of Exeter (email)
Malcolm Wallace, @ Dept of Computer Science, University of York (email)
Mitchell Wand, @
College of Computer Science,
Northeastern University
(email,
papers)
Ian Watson
Peter Wegner, Brown University
Charles Wells
Joe Wells, @ Heriot-Watt Univ
Burkhart Wolff, Uni Bremen
Akinori Yonezawa, @ Univ of Tokyo (publications)
Wolf Zimmermann, Universität Halle
Hacker Gurus:
Other lists are available at
Major scientific associations in related areas: