<body> <p>This
page uses frames, but your browser doesn't support them.</p>
</body>
Natalia Sidorova
|
Dept. of Mathematics and Computer Science Technische universiteit Eindhoven PO Box 513 5600 MB Eindhoven The Netherlands Office HG 7.84 Tel. +31 (0)40 2473705 Fax +31 (0)40 2463992 E-mail n.sidorova@tue.nl |
Lectures:
Metamodeling and Interoperability (2II65) - register for the course via OASE
Process Modelling (2003-2007)
Databases (2004-2006)
Informatica (2003-2004)
Coordination of design-oriented
learning projects “From Models to Systems” (2003-2010)
Some old teaching materials are available here.
PhD Students:
Helen Schonenberg:
PhD thesis What’s Next? Operational Support for
Business Process Execution, to be defended on May 10, 2012.Carmen Bratosin: PhD thesis Grid architecture for distributed process mining
Jan Martijn van der Werf: PhD thesis Compositional Design and Verification of Component-Based Information Systems
Olivia Oanea: PhD thesis Verification of soundness and other properties of business processes
Natalia Yustinova: PhD thesis Abstractions and Static Analysis for Verifying Reactive Systems
Main projects
Stress@work, 2012 (EIT ICT Labs activity involving TU/e, Philips, Aalto University, as well as HumanCapitalCare) - coordinator + task leader
"Creation of a Test Bed (Service Space) and applications for Health and Well-being", 2011 (EIT ICT Labs activity with 8 academic and industrial partners) - coordinator + task leader
"Workflow
Management for Large Parallel and Distributed Applications", 2006-2010 (NWO-project,
2 PhD students and 1 postdoc) - principal investigator
"Providing Full Life Cycle Support for Adaptive Processes
by Advanced Mining Approaches", 2006-2010 (NWO project) 2006- co-promotor
of a PhD student
"Route", 2006 (verification of UML activity diagrams
for an external party, 3 researchers) - project leader
"Modelling and Verification of Business Processes", 2003-2007
(NWO-project,
1 PhD student and 1 postdoc) - principal investigator