![Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science - Page 4 Jaco POL | Professor | Prof. Formal Methods and Tools | Aarhus University | AU | Department of Computer Science - Page 4](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 - Page 4
![Edward van de Pol gaat Ontwikkeling Ondernemerschap op de Tilburg University leiden • Tilburgers.nl - Nieuws uit Tilburg Edward van de Pol gaat Ontwikkeling Ondernemerschap op de Tilburg University leiden • Tilburgers.nl - Nieuws uit Tilburg](https://www.tilburgers.nl/wp-content/uploads/2018/11/2018-11-20-Edward-van-de-Pol-Twitter.jpg)
Edward van de Pol gaat Ontwikkeling Ondernemerschap op de Tilburg University leiden • Tilburgers.nl - Nieuws uit Tilburg
![Étienne André on Twitter: Étienne André on Twitter:](https://pbs.twimg.com/profile_images/931178216634634240/RzwNyicN.jpg)
Étienne André on Twitter: "Attending ETAPS 2019? Consider making an informal presentation at SynCoP 2019 🇨🇿 (organised by Laure Petrucci and Jaco Van de Pol) https://t.co/svuzfSjDeV"
![New developments around the μCRL tool set1 1http://www.cwi.nl/~mcrl – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub. New developments around the μCRL tool set1 1http://www.cwi.nl/~mcrl – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.](https://cyberleninka.org/viewer_images/297052/f/1.png)
New developments around the μCRL tool set1 1http://www.cwi.nl/~mcrl – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.
![Improved Distributed Algorithms for SCC Decomposition – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub. Improved Distributed Algorithms for SCC Decomposition – topic of research paper in Computer and information sciences. Download scholarly article PDF and read for free on CyberLeninka open science hub.](https://cyberleninka.org/viewer_images/1205092/f/1.png)