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

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.

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.

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.

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

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.

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:

- Workshop "Informatica e Didattica per la Scuola", Verona, October 2013.
- Workshop "L’esperienza del TFA classe A042 e l’insegnamento dell’informatica", Rome, February 2014.
- Workshop "Computational Teaching, Il pensiero computazionale nella Scuola", DIDAMATICA 2015, Genua, Aprile 2015.

Since 1984 he teaches regularly.

- 1984/85, University of Siena: "Introduzione all’Informatica"
- 1990/91,
*Mathematical Institute (Oxford University)*: a course of lectures about quantale within the*Advanced Class in Logic*. - from 1991 to 1998, Università degli Studi "Statale" di Milano: Programming Laboratory.
- from 1993 to 1995, Università degli Studi di Verona: Linear Algebra.
- from 1995 to 2013, Università degli Studi di Verona: several introductory courses in Informatics.
- from 1996 to 2001, Università degli Studi di Verona: Algorithms and Data Structures.
- from 2001, Università degli Studi di Verona: Programming (for mathematics students).
- from 2001 to 2003 and 2008/09, Università degli Studi di Verona: Functional Languages.
- 2005/06 and 2007/08, Università degli Studi di Verona: Special programming languages and techniques.
- from 2011 to 2015 and 2008/09, Università degli Studi di Verona: Mathematical Methods for Computer Science.

Since 1999 he participates in prospective teachers programs.

- From 1999 to 2004, SiSS Veneto (Scuola Regionale Interateneo di Specializzazione per Insegnanti della Scuola Secondaria): "Fundamentals of Informatics".
- From 2012 to 2015, Università degli Studi di Verona: "Fundamentals and Programming" in the post-graduated curriculum for high school teachers in computer science.

- University Verona, from 2012 to 2015: coordinator (and chairperson since 2013) of PAS and TFA (School for high school computer science teachers) in Informatics.

- Verona, October 2015: organizing and program chair for the "Workshop Informatica e Didattica per la Scuola".
- Roma, February 2014: scientific committee in the Workshop "L’esperienza del TFA classe A042 e l’insegnamento dell’informatica".
- Genova, April 2015: organizing and program committee of the Workshop "Computational Teaching, Il pensiero computazionale nella Scuola".
- Verona, October 2015: organizing committee IWOCA 2015.

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