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).

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 (Vrije Universiteit Amsterdam) and Thomas Bolander (DTU Compute).


Journal publications

Conference publications

Book chapter

Published formalizations

Workshop publications