Professor Carsten Schürmann IT University of Copenhagen Theoretical Computer Science Langaards Vej 7 2100 Copenhagen Danmark carsten @ itu.dk 26393606

Indledende emner Formelle sprog Funktionsprogrammering Logik Logikprogrammering Programmeringssprog Sikkerhed Videregående emner Compiler Construction Computational Logic Computational Social Science Cryptology Database Systems Functional Programming Logic Programming Privacy Programming Language Design Proof Theory Security Semantics Software Verification Theory of Computation Type Theory

 

---