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
Dr. Zilu Tian
Ph.D. in Computer Science (EPFL)
Research interests: agent-based simulations, distributed systems, query language, compiler optimization