Tiago Santos

Tiago Santos

Hello & Welcome

Software developer, self-driven, motivated, a quick learner and a team player.

My main interests are in programming languages, and I'm quite fond of developing applications using object oriented, functional and multiparadigm programming languages.

Prototypes
  • ImProVe - Automatic Reasoning with Functional Programming Assertions
  • FunSpec Experimental - Automatic Equivalence in Functional Programming Assertions Updated
  • FunSpec Stable - Automatic Equivalence in Functional Programming Assertions
  • SpecJava - Lightweight Type-Like Hoare-Separation Specs for Java
Teaching
  • Lógica Computacional (2015/2016) - P7
  • Programação Orientada pelos Objetos (2014/2015) - P9
  • Introdução à Programação B (2012/2013) - P7
  • Linguagens e Ambientes de Programação (2011/2012) - P8
  • Introdução aos Computadores e à Programação (2010/2011) - P9
  • Introdução à Programação C (2010/2011) - P3
  • Lógica Computacional (2009/2010) - P9