Adjunkt Magnus Madsen Aarhus Universitet Dept. Computer Science Åbogade 34 8200 Aarhus Danmark magnusm @ cs.au.dk 22664930

Indledende emner Concurrent og parallel programmering Formelle sprog Funktionsprogrammering Logik Logikprogrammering Objektorienteret programmering Oversættelse Programmeringssprog Softwarearkitektur Web-teknologi Videregående emner Compiler Construction Constraint Logic Programming Functional Programming Logic Programming Object-Oriented Programming Program Analysis Programming Language Design Software Testing Software Verification Type Theory

 

---