Basics
- 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.
