Photo of Jaco van de Pol

Jaco van de Pol


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

Fingerprint Fingerprint is based on mining the text of the person's research documents to create an index of weighted terms, which defines the key subjects of each individual researcher.

Engineering & Materials Science

Model checking
Binary decision diagrams
Parallel algorithms
Temporal logic
Specification languages
Data structures
Theorem proving