Steven Ramsay
|
Steven Ramsay
Doctoral Student
Room 347, Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
Broadly, my interests are in logic, semantics and the lambda calculus and applications in verification. Specifically, my research is in developing algorithms for the automated abstraction and refinement of functional programs for higher-order model checking.
Biography
| 2008- | DPhil student in computer science at the University of Oxford. |
| 2006-2008 | Analyst in the Systems Assurance Group at QinetiQ, Great Malvern. |
| 2002-2006 | Undergraduate in computer science at the University of York. |
Selected Publications
| Verifying Higher−Order Functional Programs with Pattern Matching Algebraic Data Types C.−H. Luke Ong and Steven J. Ramsay In Proceedings of 38th ACM SIGACT−SIGPLAN Symposium on the Principles of Programming Languages (POPL '11). 2011. |
Info
|
Themes |
|
|
Supervisor |
|
