|
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 |
| Search Heuristics |
| Software Engineering |
| Software Testing |
| Software Verification |
| Theory of Computation |
|
![[topimage]](TopBanner900.png)