Leo Freitas

Formal Methods

Research Interests

  • Algorithms

  • Complex Systems

  • Decision Making

  • Dependability

  • Dependable Systems

  • Embedded Systems

  • FinTech

  • Formal Methods

  • Smart Contact Technologies

Technologies & Programming Languages

I am comfortable supervising projects that make use of the following technologies and programming languages.

  • C

  • C++

  • Java

  • Python

  • R

  • Ruby

  • Scala

  • SPARK, Isabelle, VDM

Contact

Mondays 10-11; 14:30-15:30

TODO: Use this site to find project supervisors for your masters projects.