ICFEM 2018
ICFEM 2018
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Logic and Semantics
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
UPPAAL in Practice: Quantitative Verification of a RapidIO Network⋆
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
11 papers accepted at OOPSLA & POPL
ICFEM 2018
CS Colloquium - Jaco van de Pol: Automated Verification: can Brute Force be Smart?
Jaco van de Pol - Research - Aarhus University
People and visitors
Department of Computer Science, Aarhus University | LinkedIn
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
ICFEM 2018
Logic and Semantics
New colleagues - 2019
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science
ICFEM 2018
