António Ravara

Current courses

• Winter Semester: Introduction to Programming

• Spring Semester: Computational Logic

Previous courses

• Data Structures and Algorithms

• Discrete Mathematics

• Elements of Programming

• Languages and Automata

• Theory of Computation

• Theory of Concurrent Processes

Current Students

• Diogo Serra (MSc)

  Working on proof system for lock-free concurrency.

• Luis Dominguez (PhD)

  Working on relational foundations for polymorphic functional object-based program calculi.