David Hopkins

David Hopkins

Doctoral Student
Student, St Hugh's College

Room Room 316, Wolfson Building, Parks Road, Oxford OX1 3QD

selected publications (View all)

Homer: A Higher-order Observational equivalence Model checkER

David Hopkins, Luke Ong

CAV 09, 2009.

themes	Foundations, Logic and Structures \| Verification
projects	Verifying Properties of the ML Family of Languages
supervisor	Luke Ong