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.
Extended Reunion: Satisfiability , Spring 2023Visiting Scientist
Satisfiability: Theory, Practice, and Beyond , Spring 2021Research Fellow
Logical Structures in Computation , Fall 2016Research Fellow