Virtual Library

Who's Who search

Who's Who on the Web in Formal Methods

The following is an eclectic list of people involved with formal methods who have a personal URL.

A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | Other lists

A:

Other lists

The following are lists of people at individual departments, etc., many with an interest in formal methods:

Australia:

Academic Computer Scientists with interests in requirements/specification and program verification.
Queensland: Members of staff, Department of Computer Science, University of Queensland.
SVRC: Personnel, including staff, students and visitors, and brief contact list, Software Verification Research Centre, University of Queensland.

Denmark:

DTU: Computer Based Systems Group, Department of Computer Science, Technical University of Denmark, Lyngby.

Finland:

Researchers in the Programming Methods Group, Åbo Akademi.

France:

LRI, Orsay: Members of Équipe Génie Logiciel.
MEIJE, INRIA: MEIJE people.
Nantes: Members of MSF.
Verimag: People at VERIMAG, Montbonnot-St Martin.

Germany:

Dortmund: Computer Networks and Distributed Systems Group.
Karlsruhe: Hardware Verification Group, University of Karlsruhe.
Oldenburg: Semantics Unit, Informatics Department, Oldenburg University.

India:

TIFR: Members, Theoretical Computer Science Group, Tata Institute of Fundamental Research, Bombay.

Ireland:

Dublin: Formal Methods Group, Trinity College Dublin.

Macau:

UNU/IIST: Personnel.

Israel:

Weizmann Institute of Science: Scientific Personnel, Minerva Center for Verification of Reactive Systems

Netherlands:

Eindhoven: Formal Methods Group, and Mathematics of Program Construction section, Computing Science Department, TU Eindhoven.
Twente: Formal Methods Group, Department of Computer Science, University of Twente.

Sweden:

SICS: Members of the Formal Design Techniques group, SICS/KTH.

Switzerland:

Zürich: Distributed, Parallel Systems, and Formal Methods and Formal Frameworks and Functional Programming Research Groups, Institut für Informatik der Universität Zürich.

UK:

Adelard: Company Staff, London
Bath: Formal Methods Group, School of Mathematical Sciences, University of Bath.
Cambridge: Theory and Semantics of Programming Languages and Automated Reasoning Group, University of Cambridge Computer Laboratory.
Edinburgh: Laboratory for Foundations of Computer Science (LFCS), University of Edinburgh.
Essex: Logic and Formal Methods Group, Department of Computer Science, University of Essex.
Glasgow: Formal Methods and Theory Group, Department of Computer Science, University of Glasgow.
Kent: Theoretical Computer Science Group, Department of Computer Science, University of Kent at Canterbury (UKC).
London: Theory and Formal Methods Section, Imperial College (and visitors). See also Logic and Foundations of Programming Group, Queen Mary Westfield.
Manchester: Formal Methods Group, Department of Computer Science, University of Manchester.
Oxford: Staff at Oxford University Computing Laboratory. particularly the Programming Research Group, including research staff.
Reading: Formal Methods Group, Dept. of Computer Science, University of Reading. (Now at South Bank University.)
Sheffield: Correct Systems Research Group, Department of Computer Science, The University of Sheffield.
South Bank: Centre for Applied Formal Methods, School of Computing, Information Systems and Mathematics, South Bank University, London. See photographs.
Swansea: Algebraic Methods for the Design of Hardware and Software group, Dept. of Computer Science, University of Swansea.
York: Group Members of the High Integrity Systems Engineering Group, Department of Computer Science, University of York.

USA:

Bell Labs: Formal Methods People, Bell Laboratories, Murray Hill, New Jersey.
CLI: Computational Logic, Inc. Staff, Austin, Texas.
CMU: Model Checking Project Members, Carnegie-Mellon University, Pittsburgh, Pennsylvania.
Cornell: Formal Methods researchers, Cornell University.
Kestrel Institute: Research Staff, Palo Alto, California.
Michigan: Software Engineering Research Group (SERG), Michigan State University.
MIT: Systematic Program Development Group.
NASA: Langley Formal Methods Civil Servants.
NRL: Personnel at the Center for High Assurance Computer Systems, Washington DC.
SRI: Formal Methods Group, Computer Science Laboratory, SRI International, Menlo Park, California.
Stanford: Formal Reasoning Group, Computer Science Department; Hardware Verification Group, Computer Systems Laboratory; Rapide Project, Stanford University, California.
UTCS: Real-Time Systems research group, Department of Computer Sciences, University of Texas at Austin.
VIS: Group index, UC Berkeley, UT Austin, etc.

International:

IFIP Working Group 2.1 members (Algorithmic Languages and Calculi).
Logical Frameworks.
Programming Languages and Compilers.
B User Group "phone book".
IFIP WG 2.2 members.
FMOODS community.

Many of these pages provide links to further information and on-line papers on formal methods.

Who's Who on the Web in Formal Methods

A:

B:

C:

D:

E:

F:

G:

H:

I:

J:

K:

L:

M:

N:

O:

P:

R:

S:

T:

U:

V:

W:

X:

Y:

Z:

Other lists