Teaching

  • 2009-2010
    • Demonstrator of Software Systems Components 1 (SSC1)
    • Demonstrator of Software Systems Components 2 (SSC2)
  • 2008
    • UPE - University of Pernambuco
      Lectured:
      Formal Methods
      Compilers
    • UNIBRATEC
      Lectured:
      Introduction to programming languages
      Data bases