| layout | title | permalink |
|---|---|---|
home |
About |
/ |
I am a PhD student in Computer Science at Imperial College London. I previously graduated from Imperial with a MEng in Mathematics and Computer Science.
My research interests include λ-calculi, type theory, functional programming, theorem proving and classical logic.
- Github: david-davies
- Linked-in: davies-david
- Email: [email protected]
-
Theorem Proving in Classical Logic.
David Davies. Master's Thesis, Imperial College London, 2021. (bibtex)