معرفی
Jaco van de Pol is a Full Professor of Computer Science at Aarhus University, holding dual roles in the Digital Society Institute and Formal Methods and Tools. He earned his PhD from Utrecht University in 1996, specializing in Termination of Higher-order Rewrite Systems, and a Master's in Computer Science (Term Rewriting) in 1992. His research focuses on model checking, formal methods, algorithms, and automated verification, contributing to UN Sustainable Development Goals related to innovation and education.
Education:
- PhD, Termination of Higher-order Rewrite Systems, Utrecht University (1996)
- Master's in Computer Science (Term Rewriting), Utrecht University (1992)
Research Interests: His work spans model checking, formal verification, parallel algorithms, and their applications in software engineering and bioengineering. He emphasizes practical formal methods, such as SCC algorithms and timed automata analysis, to solve complex computational challenges.
Awards:
- Best Paper Award SPIN 2017 (2017)
- Best Student Paper Award (2018)
Advising & Grants: Supervised 12 students and contributed to collaborative projects in formal methods and computational biology. His research has been applied to areas like cartilage phenotype modeling and parallel algorithm design.
Labs/Teams: Engages with interdisciplinary teams, including computational biology and distributed systems groups, to advance formal methods in practical contexts.
