Laureat w dziedzinie teoretycznych aspektów informatyki, obronił pracę doktorską na Uniwersytecie Warszawskim z półrocznym pobytem na Uniwersytecie Wrocławskim badając formalizmy zapytań związanych z bazami danych. Pracował wówczas nad ustalaniem złożoności i znajdowaniu granicy rozstrzygalności dla klasycznych problemów decyzyjnych języków zapytań. Konkretnie, jego praca dotyczyła problemów spełnialności
i zawierania dwóch języków: logiki pierwszego rzędu z dwiema zmiennymi i datalogu. Większość z ostatniego roku jego doktoratu spędził na wizycie naukowej w Pontifical Catholic University of Chile, gdzie zaczął pracować w nowej dziedzinie: formalnej weryfikacji, która zajmuje się weryfikowaniem poprawnego funkcjonowania systemów. Po obronieniu doktoratu, w lutym 2016, kontynuował prace nad problemami w formalnej weryfikacji. Spędził też prawie cztery lata jako postdoc w Uniwersytetach w Warwick, Oxfordzie i Bordeaux. We wrześniu 2019 otrzymał pozycję research group leader w Max Planck Institute for Software Systems w Saarbrücken. Od lutego 2022 pełni funkcję adiunkta im. Eilenberga na Uniwersytet Warszawskim.