Revision as of 16:10, 10 May 2009

VL2 — Virtual Library
Computing
Software engineering
Formal methods

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:

B:

C:

D:

E:

F:

G:

H:

I:

J:

K:

L:

M:

N:

O:

P:

Q:

Qin, Shengchao

R:

S:

T:

U:

V:

W:

X:

Xu, Qiwen

Y:

Z:

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, 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.
Microsoft: Foundations of Software Engineering Group, Microsoft Research, Redmond.
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 and Dependable Systems 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.

@@ Line 1,052: / Line 1,052: @@
 * [http://vlsi.Colorado.EDU/~rbloem/mc.html  Model Checking White Pages].
 * [http://lampwww.epfl.ch/mobility/#people  Mobile Processes People].
-* [[Image:star11t.gif|*]] [http://citeseer.nj.nec.com/mostcited.html  Most cited authors in computer science] (many related to formal methods), including homepage links, and [http://citeseer.nj.nec.com/allcited.html  top 10,000 cited authors in computer science] in the [http://citeseer.nj.nec.com/cs  Research Index] database.
+* [[Image:star11t.gif|*]] [http://citeseer.ist.psu.edu/allcited.html  Most cited authors in computer science] (many related to formal methods) and also with [http://citeseer.nj.nec.com/allcitedn.html article citation counts normalized by publication year] in the [http://citeseer.nj.nec.com/cs  Research Index] database.
 <!-- See also a [[cgi/archive/cscited| search]] facility. -->
 * [http://directory.google.com/alpha/Top/Computers/Computer_Science/People/  Computer Science People] including [http://directory.google.com/alpha/Top/Computers/Software/Software_Engineering/People/ Software Engineering].
@@ Line 1,061: / Line 1,061: @@
 Alternatively, please contact [[Jonathan Bowen]] if you wish to be added to or deleted from this page. Note that a few names have no associated hyperlink. Pointers to WWW home pages for these people are welcome.
-<div align="right"> Last updated 26 March 2009.</div>
+<div align="right"> Last updated 10 May 2009.</div>
 [[Category:Formal methods|*Who's who]]
 [[Category:People|*]]

Changes: Who's who

Revision as of 16:10, 10 May 2009

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