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 hold a PhD degree from the Department of Applied Mathematics and Computer Science (DTU Compute) where I was a PhD student in the Algorithms, Logic and Graphs (Algolog) section 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 on formalizing logics in proof assistants. For more information, see the LIGHTest website, the CyberSec4Europe website, a popular scientific abstract and an extended abstract presented at SCAI 2015.

Articles

Book chapter

Published formalizations

Abstract

Poster

Technical Reports and Deliverables

Theses

Software