Guest staff

prof.dr. J.C. van de Pol (Jaco)

Onbezoldigd hoogleraar
EEMCS-CS-FMT
Building non-UT, non-campus
j.c.vandepol@utwente.nl
+31534893017
Visitekaartje

Mijn onderzoek in formele methoden voor Informatica gaat over het vergroten van de betrouwbaarheid en veiligheid van software. Door middel van logisch redeneren, algoritmes en software tools probeer ik de verificatie van software gemakkelijker te maken.

Ik ben geïnteresseerd in technische toepassingen in embedded systems, gedistribueerde systemen, inclusief blockchain technology, maar ook in biologische en sociale systemen.

Expertises

  • Computer Science

    • Model Checking
    • Algorithms
    • Models
    • Automaton
    • Timed Automaton
    • model checker
    • Multicore
    • Events

Organisaties

Nevenwerkzaamheden

  • Aarhus Universityfull time professor

Publicaties

2025

DMC Model Checker: Delta-driven variable-length next-state generation via recursive compression (2025)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. van der Berg, F. I.https://doi.org/10.3990/1.9789036569149

2023

A manifesto for applicable formal methods (2023)Software and systems modeling, 22(6), 1737-1749. Gleirscher, M., van de Pol, J. & Woodcock, J.https://doi.org/10.1007/s10270-023-01124-2

2022

Exploring a Parallel SCC Algorithm: Using TLA + and the TLC Model Checker (2022)In Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles - 11th International Symposium, ISoLA 2022, Proceedings (pp. 535-555) (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 13701 LNCS). Springer. van de Pol, J.https://doi.org/10.1007/978-3-031-19849-6_30Aligning observed and modelled behaviour by maximizing synchronous moves and using milestones (2022)Information systems, 103. Article 101456. Bloemen, V., Zelst, S. v., Aalst, W. v. d., Dongen, B. v. & Pol, J. v. d.https://doi.org/10.1016/j.is.2019.101456

2021

An ECHO of cartilage: In silico prediction of combinatorial treatments to switch between transient and permanent cartilage phenotypes with ex vivo validation (2021)Frontiers in bioengineering and biotechnology, 9. Article 732917. Khurana, S., Schivo, S., Plass, J. R. M., Mersinis, N., Scholma, J., Kerkhofs, J., Zhong, L., van de Pol, J., Langerak, R., Geris, L., Karperien, M. & Post, J. N.https://doi.org/10.3389/fbioe.2021.732917

Onderzoeksprofielen

Scan de QR-code of
Download vCard