Joanna Ochremiak

Research Scientist, CNRS

Joanna Ochremiak received her PhD in Computer Science from the University of Warsaw in 2016. She is currently a Research Scientist at the Centre National de la Recherche Scientifique working at the LaBRI research lab at the University of Bordeaux. Her research focuses on applications of logic to the study of algorithms and complexity. Joanna is especially interested in the areas of finite model theory, proof complexity and constraint satisfaction problems.

Program Visits

Extended Reunion: Satisfiability, Spring 2023, Visiting Scientist
Satisfiability: Theory, Practice, and Beyond, Spring 2021, Research Fellow
Logical Structures in Computation, Fall 2016, Research Fellow