Iulia Dragomir

Ph.D., Postdoctoral researcher

Office:

Room B257 in Computer Science Building,
Konemiehentie 2, Otaniemi campus area, Espoo

Postal Address:

Aalto University School of Science,
Department of Computer Science,
P.O. Box 15400, FI-00076 Aalto, Finland

Telephone:

+358 503 872710

Email:

firstname.lastname@aalto.fi

News

Starting February 2017 I am a postdoctoral researcher at VERIMAG in the RSD team, working in the SARGON and ESROCOS projects.
You can find my new web page here!

About me

I am a postdoctoral researcher at Aalto University, Department of Computer Science. I work in the COSMOI project under the supervision of Dr. Stavros Tripakis.
I have defended by Ph.D. on December 3rd, 2014, at University of Toulouse III Paul Sabatier, France. My advisors were Dr. Iulian Ober and Prof. Christian Percebois.
My research focuses on the correct design of real-time, embedded abd cyber-physical systems and their related development methodologies.

Research topics

• Component-based design
• Contract-based reasoning
• Model-driven engineering
• Formal models and methods
• Verification and validation

Projects

• COSMOI: Compositional System Modeling with Interfaces - Academy of Finland and NSF (2015-2017)
  Check out the web site of the RCRS framework!
• FullMDE - European Space Agency Project "Full Model Driven Development for On-Board Software" (2009-2011)
• OMEGA UML2 - European Space Agency Activity 3-12639 (2009-2010)
  Check out the web site of the IFx-OMEGA Toolset!

Short vitae

Postdoctoral Researcher in Computer Science (2015 - ongoing)

Aalto University, Department of Information and Computer Science, Finland

Ph.D. in Computer Science (2014)

Contract-based Modeling and Verification of Timed Safety Requirements in SysML
IRIT - University of Toulouse III Paul Sabatier, Toulouse, France
Defended on December 3rd, 2014
Defense committee:

• Prof. Béatrice Bérard (reviewer)
• Prof. Jean-Paul Bodeveix (president of the jury)
• Dr. Susanne Graf
• Dr. Thomas Lambolais
• Prof. Alexander Knapp (reviewer)
• Dr. Iulian Ober (adviser)
• Prof. Christian Percebois (adviser)

Master Research degree in Computer Science and Telecommunications (2010)

Semantical formalization and verification of composite structures
University of Toulouse III Paul Sabatier, Toulouse, France
Adviser: Dr. Iulian Ober
Graduated as valedictorian

Bachelor degrees in Mathematics and Computer Science (2008)

Constraint satisfaction: comparative study of intelligent backtracking algorithms
Faculty of Mathematics and Computer Science, Babes-Bolyai University, Cluj-Napoca, Romania
Adviser: Prof. Gabriela Czibula
Graduated as valedictorian