Henryk Michalewski

Google Research henrykm@google.com



henrykmichalewski@gmail.com
Oxford, UK +44 750 825 6803

Education

2015
habilitation in computer science, University of Warsaw, title: Ivestigations of automata and related logics using methods of set theory
Winter 2002
internship in the Fields Institute, Toronto, Canada
1998-2002
PhD in Mathematics, University of Warsaw
1993-1998
MA in Mathematics, Univeristy of Warsaw, University of Warsaw

Work engagments

2021-
Staff Research Scientist at Google Brain
2021-
Associate Professor at the Department of Mathematics, Informatics and Mechanics of the University of Warsaw (on a leave)
2021-2022
Leverhulme Professor at the Department of Computer Science of the University of Oxford
2019-2021
Visiting Researcher at Google (Staff Faculty Visiting Researcher)
2018-2019
Visiting Professor at the Department of Computer Science of the University of Oxford
2017-2018
Assistant Professor at the Mathematical Institute of Polish Academy of Sciences (a temporary one year position)
2017
Invited Professor at the École normale supérieure de Lyon (one month position in the Laboratoire de l'Informatique du Parallélisme)
2016-2019
Data Scientist at deepsense.ai, responsible for research projects related to machine learning
2012-2013
Assistant Professor at the Mathematical Institute of Polish Academy of Sciences (a temporary one year position)
2007-2021
Assistant Professor at the Department of Mathematics, Informatics and Mechanics of the University of Warsaw
2004-2007
Postdoc at the Department of Mathematics of the Ben Gurion University, Israel. Working on topics related to logic and foundations of mathematics
2002-2004
Teaching Assistant at the Department of Mathematics, Informatics and Mechanics of the University of Warsaw

Selected papers 2018-22

Other papers

Current Students

Former Students

Recent grants and projects

Prizes, invited talks

Program Committees

Teaching