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

 

Publications

 

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

URL: w3.math.uminho.pt/~jes