Professor Jaco van de Pol (Jan Cornelis van de Pol) Aarhus Universitet Datalogi Åbogade 34 8200 Aarhus Danmark jaco @ cs.au.dk 22387102

Indledende emner Algoritmer og datastrukturer Concurrent og parallel programmering Diskrete strukturer Formelle sprog Funktionsprogrammering Logik Logikprogrammering Videregående emner Computational Logic Concurrency Theory Constraint Logic Programming Distributed Systems Graph Algorithms Logic Programming Parallel Processing Program Analysis Reversible and Quantum Computing Search Heuristics Software Engineering Software Testing Software Verification Theory of Computation

 

---