Department of Computer Science DIKU > Research > Programming Languages ...
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).
Contact
Professor Jakob Grue Simonsen
Head of Section
simonsen@di.ku.dk
