He then moved to the TU Berlin and attained his PhD in 2015, after one year of parental leave. His postdoctoral period was spent at the TU Berlin, University of Warsaw, and the Humboldt University in Berlin. In the frame of his professorship, he wishes to provide students with a sound theoretical foundation for their further computer science studies and hopes to motivate them to solve complex problems systematically. He deals with efficient algorithms for graphs and application of logic in computer science within his research.