André Pedro (Events)

André Pedro (Events)

PhD Student

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". Now, he begin his Phd study where must be 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