AUdatalogi - Congratulations to Associate Professor Eve Hoggan Christensen and Professor Jaco van de Pol, who both have been selected as PIs for two new, large research projects funded by Digital Research
![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
![Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer Science, 6349): van der Pol, Jaco, Weber, Michael: 9783642161636: Amazon.com: Books Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer Science, 6349): van der Pol, Jaco, Weber, Michael: 9783642161636: Amazon.com: Books](https://m.media-amazon.com/images/I/31-XbTZlbEL._SR600%2C315_PIWhiteStrip%2CBottomLeft%2C0%2C35_SCLZZZZZZZ_FMpng_BG255%2C255%2C255.jpg)
Model Checking Software: 17th International SPIN Workshop, Enschede, The Netherlands, September 27-29, 2010, Proceedings (Lecture Notes in Computer Science, 6349): van der Pol, Jaco, Weber, Michael: 9783642161636: Amazon.com: Books
c 1996, Jaco van de Pol. All rights reserved. Pol, Jan Cornelis van de Termination of Higher-order Rewrite Systems /Jan Cornelis
King Bikes Amsterdam - Tourguide Jaco Van De Pol and owner Musa in front of the bike shop. | Facebook
![Who is Jaco Van Gass? The war veteran who reached the North Pole and Tokyo Paralympics podium | The Independent Who is Jaco Van Gass? The war veteran who reached the North Pole and Tokyo Paralympics podium | The Independent](https://static.independent.co.uk/2021/08/26/10/01fa93b38803c00c99233d3e37dc8e40Y29udGVudHNlYXJjaGFwaSwxNjMwMDUzODU3-2.61974755.jpg?width=1200&height=1200&fit=crop)