[Certificate]

The Programatica Project
Integrating Programming, Properties and Validation

[Draft]
Intro People Papers Talks Tools Links

People

[TODO: Indicate a contact person?]

Project Personnel

Iavor Diatchki
PhD student, Computer Science and Engineering, OGI
Thomas Hallgren
Postdoctoral Research Associate, Computer Science and Engineering, OGI
Tom Harke
PhD student, Computer Science, PSU
Bill Harrison
Assistant Professor, University of Missouri-Columbia
James Hook,
Associate Professor, Department of Computer Science, PSU
Brian Huffman
PhD student, Computer Science and Engineering, OGI
Mark P. Jones,
Associate Professor, Department of Computer Science, PSU
Richard Kieburtz,
Professor Emeritus, Department of Computer Science and Engineering, OGI
Rebekah Leslie
PhD student, Computer Science, PSU
John Matthews,
Assistant Professor, Department of Computer Science and Engineering, OGI
Andrew Tolmach
Associate Professor, Department of Computer Science, PSU
Peter White
Department of Computer Science and Engineering, OGI

Collaborators, Colleagues, & Past Members

Andrew Adams-Moran
Galois Connections
Sylvain Conchon
INRIA Rocquencourt
John Launchbury,
Professor, Department of Computer Science and Engineering, OGI
Tim Sauerwein,
PhD student, Computer Science and Engineering, OGI
Tim Sheard,
Associate Professor, Computer Science, PSU
Frank Taylor,
Business Knowledge Architects
Mark Tullsen
Galois Connections
Valid HTML 4.01 Transitional
Thomas Hallgren