• Å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
  • 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/reportBookResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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/proceedingArticle in proceedingsResearchpeer-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/proceedingArticle in proceedingsResearchpeer-review