Postdoc Steffan Christ Sølvsten (Steffan Christ Sølvsten Jørgensen) Aarhus Universitet Institut for Datalogi Rundhøj Allé 61F 3.3 8270 Højbjerg Danmark soelvsten @ cs.au.dk 24772366

Indledende emner Algoritmer og datastrukturer Diskrete strukturer Distribuerede systemer Formelle sprog Funktionsprogrammering Logik Maskinarkitektur Objektorienteret programmering Oversættelse Programmeringssprog Sikkerhed Softwarearkitektur Systemudvikling Videregående emner Algorithm Design and Analysis Algorithm Engineering Combinatorial Optimization Compiler Construction Complexity Theory Computational Geometry Computational Logic Data Structures Functional Programming Graph Algorithms Privacy Program Analysis Programming Language Design Search Heuristics Security Semantics Software Engineering Software Testing Software Verification Systems Development Theory of Computation Type Theory

 

---