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

Indledende emner Diskrete strukturer Formelle sprog Logik Videregående emner Computational Logic Concurrency Theory Graph Algorithms Logic Programming Program Analysis Reversible and Quantum Computing Software Verification

 

---