He is visiting Knowledge Representation & Reasoning in the AI department (Faculty of Science) at the Vrije Universiteit Amsterdam. During his visit, he participates the LarKC project, which aims to develop the Large Knowledge Collider, a platform for very large scale semantic web reasoning. His current work focuses on Semantic Web and ontology reasoning, especially on scalable reasoning and reasoning with inconsistent ontologies.