Login

André Pedro (Events)

André Pedro (Events)

André Pedro (Events)

PhD University of Minho, Portugal
Research Associate

André Pedro was born in Covilhã, Portugal, in 1987. In 2009 he received his degree in Computer science engineering at Universidade da Beira Interior, Covilhã. In 2011 he has concluded the Master's degree in Computer science engineering at Universidade do Minho, Braga with thesis "Learning and testing Stochastic discrete event systems". In 2018 he concluded his Phd study where he highlighted the ADA contracts for verification of real-time systems. His research interests include: discrete event systems, real-time scheduling, and model-checking.

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

Conferences and Workshops

Ada-Europe 2016
13, Jun, 2016 >> 17, Jun, 2016
Pisa, Italy
Participant
RV'15
22, Sep, 2015 >> 25, Sep, 2015
Vienna, Austria
Participant

Talks

Seminar Series 2015 - André Pedro
25, Nov, 2015 11:30
Porto, Portugal
Speaker
Seminar Series 2014 - André Pedro
8, Jul, 2014 11:30
Porto, Portugal
Speaker
Seminar Series 2012 - André Pedro
5, Jul, 2012 12:00
Porto, Portugal
Speaker