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


Show all news