Guillermo Calderón

About me

I am a lecturer at Computing Science Department (InCo) at the Engineering School of the Universidad de la Republica Montevideo, Uruguay.

How to reach me

• Email :

• Phone : (598)27142714 - Int. 12127

• Postal address : Instituto de Computación, Facultad de Ingeniería,
  Julio Herrera y Reissig 565.
  11300
  Montevideo, Uruguay.

Teaching

I’m working for the following undergraduate courses of the program Computing Engineering

• Programación 1
• Lógica

Research Interests

• Type Theory
• Proof Assistants
• Formalization of Mathematics
• Functional Programming
• Formal Methods

Publications

• Formalizing Constructive Projective Geometry in Type Theory
  12th Workshop on Logical and Semantic Frameworks with Applications (LSFA 2017).
  September 2017. Brasilia, Brasil.
  Elsevier Electronic Notes in Theoretical Computer Science, Volume 338, 26 October 2018, Pages 61-77. (doi, (Agda code))