📣 We're excited to announce Paweł Parys has joined the Tau team! Paweł holds a PhD in both Computer and Mathematical Sciences. He has a position as Assistant Professor at the University of Warsaw in the Institute of Informatics and is currently aiding Ohad with his research. Informatics is the study of the structure, behavior, and interactions of natural and engineered computational systems. Informatics studies the representation, processing, and communication of information in natural and engineered systems. It has computational, cognitive, and social aspects. His research focuses on automata theory, especially on extensions of finite automata, and connections between logics and automata. In particular: 🔹Data trees and XPath language (fast evaluation of XPath queries), 🔹Higher order pushdown automata, 🔹The complexity of mu-calculus evaluation on finite models, 🔹Timed automata. Welcome to the team Paweł! https://www.mimuw.edu.pl/~parys/