List of Lecturers

Name/WWW home pageEMailLectures
Martín Abadi ma@pa.dec.com Refinement and verification techniques used in security; pi calculus for security protocols; A type system for the Java virtual machine
Jean-Raymond Abrial abrial@steria.fr Logic, proofs and provers
Ralph-Johan R. Back backrj@abo.fi Refinement calculus overview
Orna Grumberg orna@cs.technion.ac.il Computer-aided verification of hardware and software; CTL model checking
Eric C.R. Hehner hehner@cs.toronto.edu A practical theory of programming; From Boolean algebra to unified algebra
Reino Kurki-Suonio rks@cs.tut.fi Incremental specification in a TLA-based approach to object systems
Amir Pnueli amir@wisdom.weizmann.ac.il Verification of reactive systems; Symbolic model checking
Kaisa Sere kaisa@abo.fi Action systems--a state-based formalism for distributed computing
Joakim von Wright jwright@abo.fi Program refinement and theorem proving: modeling and tool support
Pamela Zave pamela@research.att.com Specification and verification of telecommunication lines

[List of Participants] [Back to main page]


Ben Lukoschus  (ben@lukoschus.de)
Last modified: 2002-05-06 22:45:00 CEST (+0200)