Short Curriculum Vitae of Ugo Solitro

(last update: december 2015)

Ugo Solitro is born in Montebelluna (TV) the 10th June 1958 and lives nearby Verona. He graduated in mathematics in 1983 and obtained the PhD in Informatics in 1990.

He is a researcher in informatics and assistant professor since 1990 at the University of Milan and after 1998 at the University of Verona.


University studies.

After the high school diploma he begins its university studies with a curriculum in Electronic Engineering at the University of Padua. He graduated with honors in Mathematics in 1983.

Graduation thesis (G. Sambin, supervisor) was about a new proof of the Theorem of J. Herbrand that involves computational techniques.

Post degree studies

In November 1983, just after the degree, he was been admitted to the Scuola di Specializzazione in Logica Matematica at the University of Siena Università di Siena where he attended courses by R. Magari and K. Devlin (Set Theory and Algebraic Logic), C. Bernardi and P. Odifreddi(Computability), D. Prawitz, G. Sambin and A. Troelstra (Logic), A.F. Pixley and R. McKenzie (Universal Algebra), Category Theory and Model Theory (D. Mundici and M. Servi).

In January 1986, he has been admitted to a PH.D. Program (Dottorato) in Informatics of the Universities of Milan and Turin. He received his doctoral degree in September 1990 with a thesis about some computational aspects of Linear logic.

Research activities.

Computational methods in logic.

Preparing its degree thesis he began to investigate with Silvio Valentini the formulae validity problem in modal logic with computational methods. The developed techniques have served in a new version of Herbrand's theorem. Later he extended his research to constructive logics, in particular intuitionistic logic, Martin-Löf type theory and linear logic.

Linear logic, algebraic models for computing

In February 1989, he was invited by Prof. Angus Macintyre to give a talk about linear logic at Oxford University.

In 1990 and 1991, he was visiting researcher at the Mathematical Institute of the University of Oxford. During that period, he began a cooperation with Prof. Francisco Miraglia (University of São Paulo, Brasil) with the aim of finding an algebraic model for computational processes using the theory of sheaves, quantales and linear logic.

Some results of this research are presented in two papers on "quantale valued sets" and in a speech regarding linear logic and pre-sheaves, invited by Prof. Franco Montagna, at the University of Siena (March 1994).

Linear logic and typed calculi

In the meanwhile, U. S. continued with the study of the computational aspects of constructive logics and in particular with regard to the linear logic of Girard. Some results of these investigations are shown in a few reports and papers also in cooperation with Silvio Valentini and Corrado Priami.

More recently, he was attempting to apply these techniques to the classical logic.

Computer Science Education

Lately U.S. is associated with the study of teaching methodologies for programming and programming languages in high school and first years of universities. Specifically he set up an experimental application of the technique known as "extreme apprenticeship" for the introduction of programming.

In this area he participated with a speech at the following events:


Since 1984 he teaches regularly.

Education of prospective high school science teachers.

Since 1999 he participates in prospective teachers programs.

Recent designations


Conferences etc.

Since 2015 U. S. is the coordinator of the so-called "Gruppo di Lavoro Informatica e Scuola" in GRIN.