Anders Schlichtkrull

Picture of Anders Schlichtkrull I am a postdoc at the Technical University of Denmark (DTU). Here, I am member of the Formal methods section of the Department of Applied Mathematics and Computer Science (DTU Compute).

I was employed as PhD student in the Algorithms, Logic and Graphs (Algolog) section of the Department of Applied Mathematics and Computer Science (DTU Compute) with main supervisor Jørgen Villadsen (DTU Compute), and co-supervisors Jasmin Blanchette (VU Amsterdam) and Thomas Bolander (DTU Compute). During my PhD studies I did a 4 month external research stay in the Automation of Logic Research Group (RG1) of the Max Planck Institute for Informatics (MPI-INF) at the Saarland Informatics Campus.

I hold a BSc degree in Software Technology from DTU and an MSc degree in Computer Science and Engineering in DTU's honors program. During my MSc study I did an exchange semester at the Technical University of Munich (TUM).

I am working on formal methods for trust and security and formalizing logic in proof assistants. For more information, see the LIGHTest website, a popular scientific abstract and an extended abstract presented at SCAI 2015.

Publications

Journal publications

Conference and workshop publications

Book chapter

Published formalizations

Abstract

Poster

Theses

Software