Professor at the Department of Foundations of Computer Science.
Education
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.
Background
Scientific interests include: formal logic (especially deontic logic and logic of names), quantum information processing, applied ontology, artificial intelligence, logic programming.