David Pereira (Events)

David Pereira (Events)

PhD MAPi, Portugal
Integrated Researcher

David Pereira was born in Porto, Portugal, in 1980. In 2003 he received his degree in Computer Science at University of Porto. In 2007 he finished his Master's degree in Computer Science also in University of Porto, in the areas of formal logics for specifying and reasoning about intelligent agents. He has a PhD in Computer Science, in the MAP-i PhD program, organized by the Universities of Minho, of Porto and of Aveiro. His research is focused in the mechanization of Kleene algebra and Kleene algebra with tests in the Coq theorem prover (see http://coq.inria.fr/). He also mechanized a deductive proof system for dealing with the partial correctness of parallel programs, under the spirit of Rely/Guarantee thinking. The aim is to apply such mechanizations to conduct partial verification of correctness of both sequential and parallel imperative programs.

Besides being a happy Coq user and adept of formal program verification, David is keen to apply is formal methods background into the realm of programming languages for real-time programs, namely the well-know and powerful ADA.

. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .

Conferences and Workshops

INFORUM 2018
3, Sep, 2018 >> 4, Sep, 2018
Coimbra, Portugal
Program Committee (Real-Time and Embedded Systems Track)
Ada-Europe 2018
18, Jun, 2018 >> 22, Jun, 2018
Lisboa, Portugal
Tutorial and Workshop Chair
Smart Farming 2018
10, Apr, 2018
Porto, Portugal
Participant
CPS Week 2018
10, Apr, 2018 >> 13, Apr, 2018
Porto, Portugal
Event Liason
ARCS 2015
24, Mar, 2015 >> 27, Mar, 2015
Porto, Portugal
Industrial Liaison Co-Chair
CiWork 2014
26, Sep, 2014
Porto, Portugal
Organizer

Talks

Seminar Series 2015 - P. Lindgren and D. Pereira
9, Jun, 2015 11:30
Porto, Portugal
Speaker
Seminar Series 2014 - David Pereira
4, Nov, 2014 11:30
Porto, Portugal
Speaker