معرفی
Jaco van de Pol is a Professor at the Department of Computer Science, Aarhus University. His research focuses on formal methods, quantum computing, and symbolic computation. He specializes in model checking, timed automata, decision diagram algorithms, and quantum circuit synthesis.
Education background includes expertise in computer science with a strong foundation in theoretical computer science and formal verification techniques.
Key research interests include:
- Development of scalable symbolic algorithms for large systems
- Quantum circuit optimization using SAT-based approaches
- External memory implementations of decision diagrams
- Formal verification of real-time and parametric systems
Recent work emphasizes quantum computing applications, such as layout-aware CNOT circuit synthesis for NISQ processors, and novel algorithms for parametric timed games. His contributions include the Adiar framework for external memory BDD manipulation and the Sylvan decision diagram library.
No academic awards or grants are explicitly mentioned in the provided materials. He has advised multiple collaborations but no specific student names are listed. His research group focuses on advancing formal methods through practical tools and theoretical advancements.
