• Åbogade 34, 5341, 214

    8200 Aarhus N

    Denmark

20192025

Research activity per year

Personal profile

External positions

Professor at University of Twente

Keywords

  • Formal methods
  • Formal verification
  • Software specification and verification
  • Design and analysis og algorithms and data structures

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.
  • 1 Similar Profiles

Collaborations and top research areas from the last five years

Recent external collaboration on country/territory level. Dive into details by clicking on the dots or