User:DPMulligan
From Wikipedia, the free encyclopedia
I'm a PhD student in mathematical logic\theoretical computer science in the Dependable Systems Group, Heriot-Watt University, Edinburgh, where I work with nominal techniques. My academic interests are mathematics, logic and computer science.
I'm also a member of the Mathematical Reasoning Group, University of Edinburgh, where I work on IsaPlanner.
[edit] Pages started
- Rippling, meta-level heuristic guidance for inductive proof.
- IsaPlanner, a proof planning system for Isabelle.
