CISTER researcher invited lecturer at FCUP

On the 13th of May, CISTER Researcher David Pereira lectured a seminar entitled “Runtime Verification of Real-Time Systems: Logics and Architectures” in the scope of the seminar series “Seminar on Semigroups, Automata and Languages”, organized by the Center of Mathematics of the Faculty of Sciences of the University of Porto (FCUP), were he presented the recent results in the field of formal verification of real-time embedded systems. These results refer to the ongoing joint work between CISTER members Luís Miguel Pinho, David Pereira, Geoffrey Nelissen, André Pedro, and former Master Student intern Sangeeth Kurunathan.

On the 24th of May, David Pereira gave a lecture on the introduction to program verification using the Coq proof assistant in the scope of the Formal Software Verification class that is part of the curricula of the Master’s Degree program offered by the Computer Science Department of FCUP.

In both of these activities, David Pereira had also the change to discuss potential collaborations between CISTER and member of this department in the specific topics of formal verification of real-time embedded systems.