Formal Methods Program

Links to personal home pages.

Staff

Judith Crow, publications
Leonardo de Moura, publications
Patrick Lincoln (currently absconded to become Lab Director) publications
Sam Owre (includes publications)
Harald Ruess, publications
John Rushby , publications
Natarajan Shankar, publications
Ashish Tiwari (includes publications)

International Fellows

Maria Sorea (includes publications)

Recent Alumni

Grégoire Hamon, now at Chalmers

CSL Colleagues

These are colleagues in other programs within CSL who have also contributed to, and make use of, our tools.

Last modified: Wed Jan 7 2004 by Sam Owre