Seminars at the Faculty of Informatics

The Faculty of Informatics is pleased to announce a seminar given by Dr. Leslie Lamport

TITLE: TLA+: Whence, Wherefore, and Whither
SPEAKER: Dr. Leslie Lamport, Microsoft Research at Mountain View, California
DATE: May 12th,  2009
PLACE: USI Università della Svizzera italiana, room SI-006, Informatics building (Via G. Buffi 13)
TIME: 14.30

The evolution of my ideas on specification and verification, and how they led to the TLA+ specification language.  What is good and bad about TLA+.  Brief descriptions of the next version of the language and its tools.

Dr. Leslie Lamport received a doctorate in mathematics from Brandeis University, Massachusetts, in 1972, with a dissertation on singularities in analytic partial differential equations, which prepared him for a career as a computer scientist at Massachusetts Computer Associates, SRI, Digital, and Compaq. In 2001 he joined Microsoft Research at Mountain View in California.

Dr. Lamport's research contributions have laid the foundations of the theory of distributed systems.
Among his contributions is TLA+ (the Temporal Logic of Actions), a logic for specifying and reasoning about concurrent and reactive systems, that he defines as a Quixotic attempt to overcome engineers' antipathy towards mathematics. He is author of the book Specifying

Systems: The TLA+ Language and Tools for Hardware and Software Engineers.

Dr. Lamport received five honorary doctorates from European Universities. Among them are EPFL in 2004 and USI in 2006. In 2004 he received the IEEE Piore Award because of his outstanding contributions in the field of information processing, in relation to computer science, deemed to have contributed significantly to the advancement of science and to the betterment of society.

He is also famous as the author of LaTeX, a document formatting system used extensively by researchers as well as by professional editors.Dr.
Leslie Lamport is researcher at Microsoft Research in Mountain View, California.
He has made seminal contributions to computer systems. He received an honorary degree from USI in 2007.

HOST: Prof. Mehdi Jazayeri

URL 1: