Fellow, Junior Research Fellow
Department of Computer Science
BEng, BS, MS, PhD (Warsaw)
I am a postdoc (Senior Researcher) in the group of Professor Bernardo Cuenca-Grau at the Department of Computer Science, University of Oxford. I have obtained PhD in Logics in the Institute of Philosophy at the University of Warsaw (Poland), BEng and MS degrees in Mechatronics from Warsaw University of Technology, and BS degree in Philosophy at the Institute of Philosophy, University of Warsaw.
My research interests include knowledge representation and reasoning, reasoning about time and space, logics in AI, stream reasoning, and computational complexity. I am mainly working on computational complexity and expressive power of various logics, e.g., temporal logics, interval logics, metric logics, modal logics, description logics, and Datalog.