José Carlos Espírito Santo

**GENERAL**

Member of
the Department of Mathematics
and of the Centre of Mathematics, both at University of Minho

**RESEARCH**

Research
interests: Logic, particularly structural proof theory, lambda-calculus, type
theory, Curry-Howard correspondence, computer science logic

Research
group: Proof
Systems and Programming

Some events organized: Days in Logic 2014 and TYPES 2018

**POPULAR SCIENCE**

See here for the celebration of Alan Turing Year (2012) at University of Minho

See here for the book (in Portuguese) “Alan Turing: cientista universal”, edited in 2019

The book was presented in a virtual session recorded here

**CONTACTS**

José Carlos Espírito Santo

Departamento de Matemática

Universidade do Minho

4710-057 Braga

Portugal

E-mail: jes@math.uminho.pt

Tel: (351)253604362