Prof. Jaco van de Pol

Department of Computer Science
Aarhus University

Contact Information
Research Interests
My Publications in DBLP and Google Scholar.
Full Curriculum Vitae (April 2023, pdf)

Research Interests

Teaching (BSc, MSc, PhD)

I am teaching a 10EC course on Computability and Logic.
I am teaching a 10 EC course on Algorithmic Model Checking with Andreas Pavlogiannis.
Are you interested in the Computer Science BSc programmes or MSc programmes?
See our Graduate School for PhD opportunities in Computer Science at Aarhus University.

Recent News

Academic Service (since 2014)

Older News