His thesis was concerned with deontic logic in computer science and its combination with nonmonotonic logic.
Teza lui de doctorat a avut ca subiect logica deontică în informatică și combinația sa cu logica non-monotonica.