My name is Joanna Ochremiak, I am a postdoctoral researcher at IRIF, Université Paris Diderot.
My research interests include: constraint satisfaction problems, finite model theory, computation theory with atoms, database theory & automata over infinite alphabets.
ERC grant AUTAR led by Albert Atserias
NCN grant New Notion of Finiteness in Theory of Computation led by Mikołaj Bojańczyk
Blog on computation with atoms
joanna.ochremiak (at) gmail (dot) com
Created by ZN - Copyright 2014