Bart Jacobs studied mathematics and philosophy at Nijmegen. He received his PhD in 1991, also at Nijmegen, in the area of theoretical computer science. He has worked at the universities of Cambridge and Utrecht, and at the Centre for Mathematics and Computer Science in Amsterdam. In 1996, Jacobs returned to Nijmegen for a research position at the Royal Netherlands Academy of Sciences (KNAW). Since 2002, he has been a full professor in the area of security and correctness of software. His work was supported by a prestigious Pioneer grant from the Netherlands science foundation (NWO). His research covers both theoretical foundations (esp. coalgebra) and computer security. From 2005 to 2011, Jacobs was also a part-time professor at the Technical University Eindhoven. In 2008, his research group attracted worldwide attention by showing severe security vulnerabilities in the Mifare Classic, the most widely used smart card. He is a member of the Academia Europaea, and a recipient of an ERC Advanced Investigator Grant (2012) on quantum computation, logic, and security.
- Logical Structures in Computation, Fall 2016. Visiting Scientist.