Professor Carsten Schürmann IT University of Copenhagen Computer science Rued Langgaards Vej 7 2300 København Danmark carsten @ itu.dk 26393606

Indledende emner Concurrent og parallel programmering Formelle sprog Funktionsprogrammering Logik Logikprogrammering Programmeringssprog Sikkerhed Videregående emner Compiler Construction Computational Logic Concurrency Theory Cryptology Functional Programming Internet of Things Logic Programming Proof Theory Security Software Verification Theory of Computation

 

---