Anders Schlichtkrull

Picture of Anders Schlichtkrull I am an assistant professor (tenure track) at Aalborg University Copenhagen (AAU CPH). I am part of the Distributed, Embedded and Intelligent Systems (DEIS) unit of the Department of Computer Science.

Before I was a postdoc at the Technical University of Denmark (DTU). There, I was a 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 work on formalizing logics in proof assistants. For more information, see a popular scientific abstract and an extended abstract presented at SCAI 2015. I also work on formal methods for trust and security. For more information, see the CyberSec4Europe website, and the LIGHTest website.




Book chapter



Technical Reports and Deliverables