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

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

Mathematics

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