Welcome to the PLTC Section at Department of Computer Science, University of Copenhagen. We perform research in programming language technology and in theory of computation. Much of our work involves topics in the intersection of programming language theory (e.g., algoritmic aspects of programming and formal verification), and applications (e.g., computer security and privacy, systems, distributed ledger technology, and fintech).
Head of Section
Jakob Grue Simonsen
Professor
simonsen@di.ku.dk
