http:^^www.cs.cmu.edu^afs^cs.cmu.edu^user^mleone^web^language-people.html

This data set contains WWW-pages collected from computer science departments of various universities

<dt> <!WA193><a href="http://www.research.digital.com/SRC/personal/Leslie_Lamport/home.html">Leslie Lamport</a> - DEC SRC
<dd> <!WA194><a href="http://www.research.digital.com/SRC/personal/Leslie_Lamport/tla/tla.html">TLA (the Temporal Logic of Actions)</a>,
<!WA195><a href="http://www.research.digital.com/SRC/personal/Leslie_Lamport/proofs/proofs.html">writing proofs</a>.

<dt> <!WA196><a href="http://www.cs.wisc.edu/~larus/larus.html">James Larus</a> - 
University of Wisconsin at Madison
<dd> Programming languages and compilers, in particular languages and
compilers for parallel machines; design and programming of
shared-memory parallel computers; compiling symbolic languages;
program profiling and tracing; and program executable editing.


<DT> <!WA197><a href="http://www.math.luc.edu/~laufer/home.html">
Konstantin L&auml;ufer</a> - Loyola University of Chicago 
<DD> Programming languages and compilers, functional and object-oriented
programming, type systems, type inference, software engineering.

<dt> <!WA198><a href="http://www.cse.ogi.edu/~jl/jl.html">
John Launchbury</a> - Oregon Graduate Institute 
<dd>Functional programming, functional algorithms, the semantics of lazy
evaluation, incorporating destructive updates in Haskell,
partial evaulation, program analysis.

<DD> Programming and specification language design and semantics,
formal methods (program specification and verification),
programming methodology, object-oriented programming,
functional programming, distributed computer systems.

<DT> <!WA199><A HREF="http://www.cs.cmu.edu/afs/cs.cmu.edu/user/petel/pub/www/home.html">
Peter Lee</A> - Carnegie Mellon
<DD>Semantics-based compiler generation, program analysis and
optimization, ML, compiler support for advanced systems software.


<dt> <!WA200><a href="http://www.research.digital.com/SRC/personal/Rustan_Leino/home.html">K. Rustan M. Leino</a> -
DEC SRC
Programming and program design technologies, programming
languages and systems, specification and verification,
program semantics, object-orientation and modularity.

<DT> <!WA201><a href="http://www.cs.indiana.edu/hyplan/mleone.html">
Mark Leone</A> - Indiana University
<DD>Run-time code generation, partial evaluation, compiling functional
programs, program analysis and optimization, type theory.

<DT> <!WA202><a href="http://pauillac.inria.fr/~xleroy">Xavier Leroy</a> -
INRIA Rocquencourt
<DD> Type systems, module systems, operational semantics,
implementation of ML, the <!WA203><a
href="http://pauillac.inria.fr:80/caml/">Caml Light</a> compiler.

<dt> <!WA204><a href="http://www.cs.kuleuven.ac.be/~michael/">
Michael Leuschel</a> - Katholieke Universiteit Leuven
<dd> Partial evaluation and partial deduction,
meta-programming and the ground representation,
specialised integrity checking.

<DT><!WA205><a href="http://http.cs.berkeley.edu/~raph">
Raph Levien</a> - UC Berkeley
<DD> Compilers for higher-order languages; analysis of memory access
patterns, closure representations, avoiding the need for garbage
collection.

<DT> <!WA206><A HREF="http://paneer.ndim.edrc.cmu.edu:8888/~snl/Home.html">Sean Levy</a>, <!WA207><A HREF="http://paneer.ndim.edrc.cmu.edu:8888/~ad1h/Home.html">Allen Dutoit</a>, <!WA208><A HREF="http://paneer.ndim.edrc.cmu.edu:8888/~avatar/Home.html">Eric Gardner</a>, <!WA209><A HREF="http://paneer.ndim.edrc.cmu.edu:8888/~sub/Home.html">Eswaran Subrahmanian</a> - Carnegie Mellon
<DD>n-dim Group, Engineering Design Research Center, CMU
<DD>Object-oriented languages/environments, embeddable languages/toolkits,
support for evolutionary prototyping, user interfaces, collaboration

<dt> <!WA210><a href="http://www.cs.yale.edu/users/liang-sheng">
Sheng Liang</a> - Yale
<dd> Design and implementation of modern programming  
languages, modular semantics, compiler generation, portable common  
back-ends.


<DT><!WA211><a href="http://www.cis.upenn.edu/~libkin/home.html">
Leonid Libkin</a> - University of Pennsylvania
<DD> Functional database query languages, semantics of programming
languages, partial information

<dt> <!WA212><a href="http://www.ccs.neu.edu/~lieber/">Karl Lieberherr</a> - 
Northeastern University
<dd> Adaptive Software, adaptive architecture description languages.

<dt> <!WA213><a href="http://www.cs.wesleyan.edu/~lipton">
Jim Lipton</a> - Wesleyan University
<dd> Logic programming, type theory, intuitionistic semantics, programming
with relations, categorical logic.

<DT> <!WA214><a href="http://www.it.kth.se/~lisper/">
Bj&ouml;rn Lisper</a> - KTH, Dept. of Teleinformatics
<DD> Theory for efficient implementation of declarative languages;
Data parallel and functional programming; program transformations.

<dt> <!WA215><a href="http://www.cs.indiana.edu/hyplan/liu.html">Y. Annie Liu</a>
- Indiana University
<dd> Program analyses and transformations for efficiency improvement,
optimizing compilers, language-based interactive systems, algorithm
design, program development methods.

<dt> <!WA216><a href="http://pauillac.inria.fr:80/~maranget/">Luc Maranget</a> -
INRIA Rocquencourt
<dd> Lazy ML: compilation of pattern matching and parallel implementation;
strategies in term rewriting systems. 

<dt> <!WA217><a href="http://plg.uwaterloo.ca:80/~dmason/">Dave Mason</a> - Waterloo
<dd> Compilation of functional programming languages, particularly of
Standard ML for systems programming purposes, literate programming and
other aspects of text formatting.

<DT> <!WA218><a href="http://idom-www.informatik.uni-hamburg.de/Personal/matthes.html">
Florian Matthes</a> - Hamburg University, Germany
<DD> Persistent programming environments: extensible syntax, higher-order 
type checking, static and dynamic code optimization, object store interfaces

<dt> <!WA219><a href="http://idom-www.informatik.uni-hamburg.de/Personal/mathiske.html">Bernd Mathiske</a> - Hamburg University
<dd> Language implementation, portable multi-threaded
runtime systems, code generation; distributed persistent languages, code
mobility, thread mobility, autonomous network agents; bidirectional
language interfacing, cross-language exception handling.

<DT> <!WA220><a href="http://www.ai.mit.edu/people/dam/dam.html">
David McAllester</a> - MIT AI Laboratory
<DD> Automated reasoning and type inference

<dt> <!WA221><a href="http://www.cs.ruu.nl/~erik">Erik Meijer</a> - Utrecht University
<dd> Functional programming, semantics directed compiler generation,
constructive algorithmics.

<dt> <!WA222><a href="http://marcel.uni-mb.si/~marjan">Marjan Mernik</a> - 
University of Maribor, Slovenia
<dd> Design and implementation of programming languages, formal language
definition, compiler generators, attribute grammars

<DT> <!WA223><a href="http://www.cis.upenn.edu/~dale">
Dale Miller</a> - University of Pennsylvania
<DD> Computational logic, proof theory, design and theory of logic and
functional programming languages, unification of typed lambda-calculi,
<!WA224><a href="http://www.cis.upenn.edu/~dale/lProlog/index.html">
lambda Prolog</a>.

<DT> <!WA225><a href="http://www.dcs.ed.ac.uk/infopages/rm.html">Robin Milner</a> - Cambridge
<dd> Mathematical models of computation - models and calculi for
concurrent computation; how to present logics to machines; semantics
of high-level programming constructs.

<DT> <!WA226><a href="http://theory.stanford.edu/people/jcm/home.html">
John Mitchell</a> - Stanford
<DD>Programming language analysis and design, including module
systems, object-oriented programming, type systems, and reasoning
about programs; applications of mathematical logic to programming
languages and automated reasoning; algorithms for static analysis of
programs.

<DT> <!WA227><a href="http://www.cs.cornell.edu/Info/People/jgm/home.html">Greg Morrisett</a> - Cornell
<DD> Systems hacking in high-level languages, compilers,
analysis via types, modeling garbage collection, concurrency, threads.

<DT> <!WA228><a href="ftp://ftp.diku.dk/diku/semantics/www/people/mossin.html">
Christian Mossin</a> - DIKU, University of Copenhagen
<DD> Type inference for analysis of functional programs.  Program
analysis, type systems, logic, lambda calculus and (to some extent)
category theory.

<dt> <!WA229><a href="http://www.informatik.hu-berlin.de/~mueller/">Frank Mueller</a> - Humboldt-University Berlin
<dd> Compiler optimizations, concurrent programming, prediction of execution time

<dt> <!WA230><a href="http://www.cs.bc.edu/~muller">Robert Muller</a> - 
Boston College
<dd> Compilers for higher-order languages, program representation, program 
analysis and optimization, extensible parsers.

<dt> <!WA231><a href="http://www7.informatik.uni-erlangen.de/~nestmann/index.html">Uwe Nestmann</a> - University of Erlangen
<dd> Formal Semantics, concurrency theory, translation correctness,
pi-calculus.

<DT> <!WA232><a href="ftp://ftp.diku.dk/diku/semantics/www/people/bombadil.html">
Kristian Nielsen</a> - DIKU, University of Copenhagen
<DD> Deforestation, partial evaluation, supercompilation, program
analysis, implementation of functional programming languages, lazy evaluation.

<dt> <!WA233><a href="http://iamwww.unibe.ch/~oscar">Oscar Nierstrasz</a> - 
University of Berne
<dd> Semantics of object-based concurrency; software composition languages.

<dt> <!WA234><a href="http://www.research.digital.com/CRL/personal/nikhil/home.html">Rishiyur Nikhil</a> - DEC CRL
<dd> Parallel computing -- languages and implementations, runtime systems,
architectures.  Functional languages and implementations, especially
parallel implementations.

<dt> <!WA235><a href="http://hpbroy3.informatik.tu-muenchen.de/MITARBEITER/nipkow/nipkow.html">Tobias Nipkow</a> - Technische Universit&auml;t M&uuml;nchen
<dd> Automatic and interactive theorem proving, system verification,
rewriting, unification, lambda-calculus, type systems.

<DT> <!WA236><a href="http://www.ics.uci.edu/dir/grad/CSD/snovack">
Steve Novack</a> - University of California, Irvine
<DD> Compiling for fine-grain parallelism.

<DT> <!WA237><A HREF="http://www.cs.unc.edu/~nyland/">Lars Nyland</A> - University of North Carolina at Chapel Hill
<DD> High-level languages for prototyping parallel algorithms.
Development of complex parallel algorithms.  Transformation of
high-level code to parallel implementations.

<dt> <!WA238><a href="http://www.dcs.gla.ac.uk:80/~jtod/">John O'Donnell</a> - Glasgow
<dd> Using functional programming to specify and reason about parallel
systems such as digital circuits and data parallel architectures;
nondeterminism; debugging; functional programming environments.

<dt> <!WA239><a href="http://www.cis.syr.edu/people/ohearn">Peter O'Hearn</a> - 
Syracuse University
<dd> Semantic and logical foundations of imperative computation.

<dt> <!WA240><a href="http://sadhbh.scrg.cs.tcd.ie:80/~bos/">
Bryan O'Sullivan</a> - Glasgow
<dd> Parallel computing, operating systems, compilers, partial
evaluation, functional programming languages, and all sorts of odd
permutations of these topics.

<dt> <!WA241><a href="http://www-psrg.lcs.mit.edu/~james/whoami.html">
James O'Toole</a> - MIT
<dd> Storage systems design for information retrieval and persistent
object applications.

<DT><!WA242><a href="http://www.kurims.kyoto-u.ac.jp/~ohori/index.html">
Atsushi Ohori</a> - Kyoto University
<DD> Type inference, polymorphic record calculus, compilation, parallelism.

<dt> <!WA243><a href="http://wwwipd.ira.uka.de/~odersky/">Martin Odersky</a> - 
University of Karlsruhe
<dd> Formal methods for the definition of programming languages and the
design and manipulation of programs. Special areas of interests are
program calculi, type systems, semantics of programming languages, and
programming language implementation.

<dt> <!WA244><a href="http://www.cs.latrobe.edu.au/~johno">John Ophel</a> - La Trobe University, Melbourne Australia
<dd> Polymorphic programming languages, first-class modules.

<dt> <!WA245><a href="http://www-comp.mpce.mq.edu.au/~mehmet/">Mehmet A. Orgun</a> - 
Macquarie University, Sydney
<dd> Logic programming, applied temporal logic, dataflow
computation, temporal databases.

<DT> <!WA246><a href="http://theory.lcs.mit.edu/~palsberg">
Jens Palsberg</a> - MIT
<DD> Theory and implementation of programming languages.

<DT> <!WA247><a href="http://www-rocq.inria.fr/~parigot">Didier Parigot</a> -
INRIA Rocquencourt
<DD> Attribute grammars, the <!WA248><a href="http://www-rocq.inria.fr/charme/FNC-2/"> FNC-2 </a> system.

<dt> <!WA249><a href="http://ulke.grm.hia.no/~alp/">Algirdas Pakstas</a> - 
Agder College
<dd> Distributed programming, system architect's language ALADDIN,
integrated compiler development environment GDT/PC ("Grammar Debugging
Tool and Parser Constuctor").

<dt> <!WA250><a href="http://cs.nyu.edu/cs/faculty/palem/index.html">Krishna Palem</a> - New York University
<dd> Optimizing compilers, instruction-level parallelism, instruction
scheduling and register allocation, compiling for embedded systems.

<dt> <!WA251><a href="http://www.ucy.ac.cy/ucy/cs/papadopo.html">George A. Papadopoulos</a> - University of Cyprus
<dd> Term graph rewriting systems, coordination models,
logic, functional and object-oriented programming.

<dt> <!WA252><a href="http://www.cl.cam.ac.uk/users/lcp/">Larry Paulson</a> -
Cambridge
<dd> The 
<!WA253><A HREF="http://www.cl.cam.ac.uk/Research/HVG/isabelle.html">Isabelle</a>
theorem prover. Formalizing axiomatic set theory.  Formalizing induction and
coinduction principles in set theory and higher-order logic.  Standard ML.

<DT> <!WA254><a href="http://www.cs.cmu.edu/afs/cs/user/fp/www/homepage.html">
Frank Pfenning</a> - Carnegie Mellon