He got his ph.d. in computer science from the same university, and a second ph.d. in mathematics from University of Freiburg. He had also worked in University of Paris-Sud, France Telecom R&D, and Humboldt-University in Berlin as PostDoc. His main research interests are logic in computer science,computational complexity, and graph theory.