Hello, my name is Tomasz Steifer.

I work as a team leader at the Centre for Credible AI at the Warsaw University of Technology and as a researcher at the Institute of Fundamental Technological Research of the Polish Academy of Sciences. I am also a member of ELLIS and an international collaborator at CENIA Chile.

Before that I was a postdoc at the Pontificia Universidad Católica de Chile and Instituto Milenio Fundamentos de los datos, where I was supervised by Pablo Barceló and Cristóbal Rojas. Until 2022, I was also a co-investigator in the Polish National Science Center grant Algorithmic models of prediction: formal properties and philosophical implications, coordinated by Dariusz Kalociński.

I work on topics in theoretical computer science, mathematical logic, artificial intelligence, social choice, and related areas. More generally, I am interested in using mathematical tools to study epistemological questions, such as what can be known. I have a strong affinity for mathematical philosophy, and I like to think that some of my research is a part of it.

An up-to-date list of my research papers is maintained on Google Scholar.