PhD in Computer Science (Technical University of Dortmund, Germany) on Logics and Automata on data words and data trees and their applications in formal system verification
Research interests: data management and data science, interplay of machine learning and databases, incremental view maintenance