João Filipe Belo

Lecturer at the Department of Computer and Electronics and Telecommunications Engineering (DEETC), ISEL, Portugal
Member of the Centro de Cálculo.
Email address: jbelo(AT)cc.isel.ipl.pt

I'm a PhD student of Peter Aczel in the CS Department of The University of Manchester, UK. I'm currently finishing my thesis on Dependently Sorted First Order Logic. I'm also a lecturer at ISEL, Portugal, where I teach programming.

My research interests revolve around foundational theories for program specification and construction, based on areas such as mathematical and categorical logic, and dependent type theory. I'm particularly interested in dependent types and their applicability in the construction of generic programs.

My CV can be found here.

Publications

• "Dependently Sorted Logic,"
  In Types for Proofs and Programs, International Conference, TYPES 2007, Cividale del Friuli, Italy, May 2-5, 2007, pages 33-50 © Springer-Verlag

Theses and Reports

• "Foundations of Dependently Sorted Logic," The University of Manchester, PhD thesis, 2008 (submitted)
• "Cartesian Logic," The University of Manchester, PhD first year report, 2005
• "Dependently Sorted Logic," The University of Manchester, MSc thesis, 2004

Talks

• "Logic Setups," LMU, Univ. of Munich, Oberseminar Mathematische Logik, 2008
• "Interpolation for Dependently Sorted Logic," TYPES’07, Cividale del Friuli, 2007
• "Dependently Sorted Logic, " BCTCS’07, Oxford, 2007