Bart Verheij is a tenured lecturer and researcher at the Institute of Artificial Intelligence and Cognitive Engineering (ALICE) of the University of Groningen, the Netherlands. In the academic year 2013-2014, he is resident CodeX fellow at Stanford University. He holds an MSc degree in Mathematics (University of Amsterdam) and obtained his PhD degree at Maastricht University, Faculty of Law, on a dissertation about the formal modeling of legal argumentation. Verheij’s research interests include defeasible argumentation, legal reasoning and argumentation software.
He leads a research project on argumentation, narrative and probabilistic approaches to reasoning with evidence, funded by the NWO Forensic Science program (2012-2016). Inspired by this project, his research aim has shifted to reconnecting the logical and probabilistic foundations of AI.
In 2013 he served as program chair of the Fourteenth International Conference on Artificial Intelligence and Law (ICAIL 2013) in Rome, and in 2012 as program chair of the Fourth International Conference on Computational Models of Argument (COMMA 2012) in Vienna.