Pavel Klinov is a postdoctoral research fellow at the University of Ulm, Germany, where he works on ELK, one of the fastest reasoners for lightweight ontologies formulated in OWL 2 EL. He formerly worked on-site at Clark & Parsia, first as an intern in 2007, and later as a Research Scientist in 2011-2012. He holds an MSc degree in Computer Engineering from the Moscow Engineering Physics Institute and a PhD in Computer Science from the University of Manchester, UK. Prior to starting his PhD he spent 2.5 years as a Java engineer at CERN, the largest nuclear research lab in the world.
Even though no longer an employee of Clark & Parsia, Pavel contributes to Stardog in the areas of query planning, query evaluation, and statistics.