Joanna Ochremiak

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.