Jaco van de Pol

View Scopus Profile

Jaco van de Pol

 https://orcid.org/0000-0003-4305-0625

  • Å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
View full fingerprint

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
Explore network further

  • 36th International Conference on Concurrency Theory, CONCUR 2025

    van de Pol, J. (Editor) & Bouyer, P. (Editor), 18 Aug 2025, Dagstuhl Publishing. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 348).

    Research output: Book/anthology/report › Book › Research › peer-review

  • CNOT-Optimal Clifford Synthesis as SAT

    Shaik, I. & van de Pol, J., 7 Aug 2025, 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025. Berg, J., Nordstrom, J. & Nordstrom, J. (eds.). Dagstuhl Publishing, 28. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 341).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Controller Synthesis for Parametric Timed Games

    Dahlsen-Jensen, M. B., Fievet, B., Petrucci, L. & van de Pol, J., 2 Oct 2025, Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems - Second International Joint Conference, QEST+FORMATS 2025, Proceedings. Prabhakar, P. & Vandin, A. (eds.). Springer Science and Business Media Deutschland GmbH, p. 314-332 19 p. (Lecture Notes in Computer Science, Vol. 16143 LNCS).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

  • Depth-Optimal Quantum Layout Synthesis as SAT

    Jakobsen, A. B., Clausen, A. B., van de Pol, J. & Shaik, I., 7 Aug 2025, 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025. Berg, J. & Nordstrom, J. (eds.). Dagstuhl Publishing, 16. (Leibniz International Proceedings in Informatics, LIPIcs, Vol. 341).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

    Open Access
    1 Citation (Scopus)

  • On Exact Sizes of Minimal CNOT Circuits

    Christensen, J. E., Jørgensen, S. F., Pavlogiannis, A. & van de Pol, J., 22 Jun 2025, Reversible Computation: 17th International Conference, RC 2025, Proceedings. Glück, R. & Kaarsgaard, R. (eds.). Cham: Springer, p. 71-88 18 p. (Lecture Notes in Computer Science, Vol. 15716).

    Research output: Contribution to book/anthology/report/proceeding › Article in proceedings › Research › peer-review

View all 57 research outputs
  • 2 Participation in or organisation af a conference
  • 1 Participation in or organisation of workshop, seminar or course