• Professor at the Department of Foundations of Computer Science.
  • Studied philosophy at the Catholic University of Lublin (1987-1993) and computing science at Oxford University – Wadham College/Computing Laboratory (1994-1995).
  • Obtained PhD in Philosophy from the Catholic University of Lublin in 2000.

Scientific interests include:

  • formal logic (especially deontic logic and logic of names),
  • quantum information processing,
  • applied ontology,
  • artificial intelligence,
  • logic programming.