Find

For students
For PhDs
For employees

Department of Computer Science

Aarhus University Seal

Jaco van de Pol

Professor

Jaco van de Pol

Department of Computer Science
Åbogade 34
8200 Aarhus N
Denmark
jaco@cs.au.dk

ORCID: 0000-0003-4305-0625

Research areas

Engineering > Electrical and Computer Engineering > Formal methods
Engineering > Electrical and Computer Engineering > Formal verification
IT, Computer Science and Mathematics > Software Systems > Software specification and verification
IT, Computer Science and Mathematics > Theoretical Computer Science > Design and analysis og algorithms and data structures

Profile

Additional website:

https://cs.au.dk/~jaco/

Latest publications

Published
Efficient Convex Zone Merging in Parametric Timed Automata
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
Exploring a Parallel SCC Algorithm: Using TLA ⁺ and the TLC Model Checker
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review
Published
Safe and Secure Future AI-Driven Railway Technologies: Challenges for Formal Methods in Railway
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

View all (31) »

ID: 129663057