The Programatica Project
Integrating Programming, Properties and Validation

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