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