![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile](https://i1.rgstatic.net/ii/profile.image/272520880324611-1441985449206_Q512/Jaco-Pol.jpg)
Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science | Research profile
![Computer Science at Aarhus University on Twitter: "Congratulations 🎉 to Prof. Jaco van der Pol for winning the FORMATS2020 best paper award at @qonfest2020, for the paper “Certifying Emptiness of Timed Büchi Computer Science at Aarhus University on Twitter: "Congratulations 🎉 to Prof. Jaco van der Pol for winning the FORMATS2020 best paper award at @qonfest2020, for the paper “Certifying Emptiness of Timed Büchi](https://pbs.twimg.com/media/Eg5OWznX0AA6iBw.jpg)
Computer Science at Aarhus University on Twitter: "Congratulations 🎉 to Prof. Jaco van der Pol for winning the FORMATS2020 best paper award at @qonfest2020, for the paper “Certifying Emptiness of Timed Büchi
![Jacob - Aarhus, : Native Danish speaker offering private lessons in Danish taught in English, Chinese or Japanese Jacob - Aarhus, : Native Danish speaker offering private lessons in Danish taught in English, Chinese or Japanese](https://c.superprof.com/i/t/14618159/948103/600/20230125165008/native-danish-speaker-offering-private-lessons-danish-taught-english-chinese-japanese.jpg)