Zero, Successor and Equality in BDDS: Bahareh Badban, Jaco Van de Pol | PDF | Syntax (Logic) | Theoretical Computer Science
Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007, Proceedings | SpringerLink
![An interdisciplinary workshop on AI attracts international top researchers to Denmark – do you want to join? - DIREC An interdisciplinary workshop on AI attracts international top researchers to Denmark – do you want to join? - DIREC](https://direc.dk/wp-content/uploads/2023/08/AI-workshop_news.jpg)
An interdisciplinary workshop on AI attracts international top researchers to Denmark – do you want to join? - DIREC
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
![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://www.researchgate.net/publication/370228046/figure/fig1/AS:11431281153266349@1682393530578/Adder-circuit-in-OPENQASM-format-with-Instruction-numbers-and-DAG-format-with_Q320.jpg)