Anders Schlichtkrull

Picture of Anders Schlichtkrull I am a PhD student at the Technical University of Denmark (DTU). Here, I am a member of the Algorithms, Logic and Graphs (Algolog) section of the Department of Applied Mathematics and Computer Science (DTU Compute). During my PhD studies I have done 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 am working on formalizing algorithms and logical systems in proof assistants. For more information, see a popular scientific abstract or an extended abstract presented at SCAI 2015.

My main supervisor is Jørgen Villadsen (DTU Compute), and my co-supervisors are Jasmin Blanchette (VU Amsterdam) and Thomas Bolander (DTU Compute).

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 a exchange semester at the Technical University of Munich (TUM).


Journal publications

Conference and workshop publications

Book chapter

Published formalizations