Scott Owens

Research Associate, Computer Laboratory, University of Cambridge

e-mail: Scott.Owens@cl.cam.ac.uk
Picture of me

Supervisions: Specification and Verification 1


Research Group: Cambridge Programming, Logic, and Semantics Group
Previous research group: PLT Scheme

Current projects:

Publications:

Ph.D. dissertation:

Teaching:

PLT Scheme programming:

HOL programming:

Personal:

Valid HTML 4.01 Strict Valid CSS!