Research

Domains of interest:

– automated geometry theorem proving;
– mathematical logic;
– operating systems.

PhD Thesis:

Geometry Theorem Proving in the Frame of the Theorema Project

Publications