Cristina Seceleanu, Associate Professor

Cristina Seceleanu is Associate Professor and Docent at MDH, Embedded Systems Division. She received a MSc. in Electronics from Polytechnic University of Bucharest, Romania, in 1993, and a Ph.D. in Computer Science from Abo Akademi and Turku Centre for Computer Science, Abo/Turku, Finland, in 2005. Her research focuses on developing formal models and verification techniques for designing predictable real-time embedded systems.


Ht 2015: DVA 442 - Advanced Validation and Verification (graduate course) :

course webpage




PhD students supervised as main supervisor:

Nesredin Mahmud
Predrag Filipovikj
Raluca Marinescu
Simin Cai

PhD students supervised as assistant supervisor:

Aida Causevic
Aneta Vulgarakis Feljan (former)
Jagadish Suryadevara (former)
Leo Hatvani (former)
Stefan Björnander