António Ravara

Research interests and projects | Publications | Teaching | Short CV

• Current courses
  • Fall term
    • Theory of concurrent processes (TPC)

• Previous courses
  • Data structures and algorithms (AED)
  • Syntax and Semantics of Programming Languages