Alexander Birch Jensen
I was a research assistant at DTU Compute from September 2016 to January 2017 and from February 2017 I am a software developer at PDC A/S.
List of publications
Jørgen Villadsen, Alexander Birch Jensen & Anders Schlichtkrull:
NaDeA: A Natural Deduction Assistant with a Formalization in Isabelle.
Pages 253-262 in Proceedings of 4th International Conference on Tools for Teaching Logic, Rennes, France, 2015.
http://arxiv.org/abs/1507.04002
Alexander Birch Jensen:
Development and Verification of a Proof Assistant.
Master's Thesis, Technical University of Denmark, 2016.
http://findit.dtu.dk/en/catalog/2345011633
Alexander Birch Jensen, Anders Schlichtkrull & Jørgen Villadsen:
Verification of an LCF-Style First-Order Prover with Equality.
Isabelle Workshop 2016.
https://github.com/logic-tools/sml-handbook