Assistant professor at the Vrije Universiteit Amsterdam
Patrick Koopmann is an assistant professor in the Knowledge in Artificial Intelligence group at the Vrije Universiteit Amsterdam. Before, he worked as a research associate in the research group of Franz Baader, as well as at the University of Oxford and The University of Manchester, where he finished his PhD in 2015.
His research focuses on knowledge representation with description logics. Currently, his research focuses on techniques for explaining consequences and non-consequences of Description Logic reasoning using proofs and abduction.