Jaco van de Pol - Research - Aarhus University

Find

For students
For PhDs
For employees

Department of Computer Science

Aarhus University Seal / Aarhus Universitets segl

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
The 2020 Expert Survey on Formal Methods
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research
Published
Polymorphic types and effects with Boolean unification
Research output: Contribution to journal/Conference contribution in journal/Contribution to newspaper › Journal article › Research › peer-review
Published
Certifying Emptiness of Timed Büchi Automata
Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

View all (14) »

ID: 129663057