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:

Queensland: Full staff list, School of Information Technology and Electrical Engineering, 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.

Greece:

Computer Science Department, CITY College, Thessaloniki.
South-East European Network on Formal Methods (SEEFM). See also research groups.

India:

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

Ireland:

Dublin: Foundations & Methods Group, Trinity College Dublin.

Israel:

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

Macau:

UNU/IIST: Personnel.

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.

New Zealand:

Waikato: Formal Methods Laboratory University of Waikato, Hamilton.

Portugal:

Minho: Members of the Logic and Formal Methods Group, University of Minho.

Sweden:

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

UK:

Adelard: Company Staff, London
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.
London South Bank: Centre for Applied Formal Methods, Faculty of BCIM, London South Bank University. See photographs.
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.
Sheffield: Correct Systems Research Group, Department of Computer Science, The University of Sheffield.
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,

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:

Q:

R:

S:

T:

U:

V:

W:

X:

Y:

Z:

Other lists