Przemysław Andrzej Wałęga
I am a postdoc (Senior Researcher) in the group of Ian Horrocks at the Department of Computer Science, University of Oxford (UK). I received PhD in Logics in the Institute of Philosophy at the University of Warsaw (Poland), supervised by Joanna Golińska-Pilarek and Michał Zawidzki, BEng and MS degrees in Mechatronics from Warsaw University of Technology, and BS degree in Philosophy at the Institute of Philosophy, University of Warsaw.
There is a little help on my mysterious (for non-Polish people) name:
Computer Science and in particular Artificial Intelligence (AI) has quickly fascinated me and became the main source of my intellectual pleasure. Consequently, most of my recent research and teaching has been devoted to theoretical foundations and applications of AI approaches.
In particular, my research is devoted to designing and studying theoretical properties (such as computational complexity and expressive power) of formal logical languages that allow us for performing complex reasoning about time. Time is ubiquitous in our everyday lives, in the way we perceive and reason about the surrounding world, as well as how our AI algorithms do it. The topic of time brings together computer scientists, mathematical logicians, and philosophers, among others, providing a fascinating research area.
My main scientific results concern:
metric temporal logic MTL and its combinations with Datalog and
interval temporal logics, in particular, the Halpern-Shoham logic HS.