Cristina Seceleanu

Biography

Dr Cristina Seceleanu is currently working as a Associate Professor in the Department of Networked and Embedded Systems , Malardalen University, Sweden. Her research interests includes Developing and applying formal methods (especially model checking) for designing and reasoning about component-based, resource-constrained real-time systems, service-oriented systems, adaptive embedded systems, and more recently autonomous systems. She is serving as an editorial member and reviewer of several international reputed journals. Dr. Cristina Seceleanu is the member of many international affiliations. She has successfully completed her Administrative responsibilities. She has authored of many research articles/books related to Developing and applying formal methods (especially model checking) for designing and reasoning about component-based, resource-constrained real-time systems, service-oriented systems, adaptive embedded systems, and more recently autonomous systems.

Research Interest

Developing and applying formal methods (especially model checking) for designing and reasoning about component-based, resource-constrained real-time systems, service-oriented systems, adaptive embedded systems, and more recently autonomous systems