Welkom...

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

Hoogleraar

Over mij

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

Engineering & Materials Science
Binary Decision Diagrams
Data Structures
Model Checking
Petri Nets
Specification Languages
Temporal Logic
Mathematics
Decision Diagrams
Model Checking

Publicaties

Recent
Garavel, H., Ter Beek, M. H. , & Van De Pol, J. (2020). The 2020 Expert Survey on Formal Methods. In M. H. ter Beek, & D. Nickovic (Eds.), Formal Methods for Industrial Critical Systems - 25th International Conference, FMICS 2020, Proceedings (pp. 3-69). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 12327 LNCS). Springer. https://doi.org/10.1007/978-3-030-58298-2_1
Oortwijn, W. , Huisman, M. , Joosten, S. J. C. , & Pol, J. V. D. (2020). Automated Verification of Parallel Nested DFS. In A. Biere, & D. Parker (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 26th International Conference, TACAS 2020, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020, Proceedings, Part I (pp. 247-265). (Lecture Notes in Computer Science; Vol. 12078). Springer. https://doi.org/10.1007/978-3-030-45190-5_14
Kordon, F., Leuschel, M. , Pol, J. V. D., & Thierry-Mieg, Y. (2019). Software Architecture of Modern Model Checkers. In B. Steffen, & G. Woeginger (Eds.), Computing and Software Science: State of the Art and Perspectives (pp. 393-419). (Lecture Notes in Computer Science; Vol. 10000), (Theoretical Computer Science and General Issues). Springer. https://doi.org/10.1007/978-3-319-91908-9_20
Bloemen, V., Duret-Lutz, A. , & van de Pol, J. (2019). Model checking with generalized Rabin and Fin-less automata. International journal on software tools for technology transfer, 21(3), 307-324. https://doi.org/10.1007/s10009-019-00508-4
van Dijk, T. , Meijer, J. , & van de Pol, J. (2019). Multi-core On-The-Fly Saturation. In L. Zhang, & T. Vojnar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (pp. 58-75). (Lecture Notes in Computer Science; Vol. 11428), (Theoretical Computer Science and General Issues). Springer. https://doi.org/10.1007/978-3-030-17465-1_4
André, É. , Bloemen, V. , Petrucci, L. , & van de Pol, J. (2019). Minimal-time synthesis for parametric timed automata. In L. Zhang, & T. Vojnar (Eds.), Tools and Algorithms for the Construction and Analysis of Systems: 25th International Conference, TACAS 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2019, Proceedings (pp. 211-228). (Lecture Notes in Computer Science; Vol. 11428), (Theoretical Computer Science and General Issues). Springer. https://doi.org/10.1007/978-3-030-17465-1_12
Meijer, J. , & van de Pol, J. (2019). Sound black-box checking in the LearnLib. Innovations in systems and software engineering, 15(3-4), 267-287. https://doi.org/10.1007/s11334-019-00342-6

Pure Link

Verbonden aan Opleidingen

Bachelor

Master

Vakken Collegejaar  2022/2023

Vakken in het huidig collegejaar worden toegevoegd op het moment dat zij definitief zijn in het Osiris systeem. Daarom kan het zijn dat de lijst nog niet compleet is voor het gehele collegejaar.
 

Vakken Collegejaar  2021/2022

Contactgegevens

Bezoekadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Building non-UT, non-campus
Drienerlolaan 5
7522NB  Enschede

Postadres

Universiteit Twente
Faculty of Electrical Engineering, Mathematics and Computer Science
Building non-UT, non-campus
Postbus 217
7500 AE Enschede