If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Jaco van de Pol is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Model checking
Temporal logic
Binary decision diagrams
Specification languages
Data structures
Parallel algorithms
Experiments
Formal methods
Learning algorithms

Mathematics

Model Checking
Black Box
Synthesis
Inductive Definitions
Decision Diagrams
Temporal Logic
Automata
Confluence
Reactive Systems
Timed Automata