Curriculum Vitae

 

Surname	Sidorova
Name	Natalia
Date of birth	July 17, 1972
Place of birth	Kostroma, Russia
Nationality	Dutch, Russian
Home address	Loondermolen 53, 5612 MH Eindhoven, the Netherlands
Work address	Dept. of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, the Netherlands
Tel.	+31(0)40 244 9421 (home),  +31(0)40 247 3705 (office)
Fax:	+31(0)40 246 3992
E-mail:	n.sidorova@tue.nl

                                                               

Education

 

1978-1988	Secondary school №2, Nerekhta, Kostroma region, Russia
1988-1993	Computer Science Department of the Yaroslavl State University, Russia. Master’s degree cum laude
1993-1997	PhD student, group of Theoretical Computer Science, Computer Science Department of Yaroslavl State University, under supervision of Prof.Dr. V.A. Sokolov
March 1998	PhD degree in Computer Science, Title of the PhD thesis: "Transformations of Petri nets"
Languages:	English, Dutch, Russian – fluent French – fair

 

Professional Experience

 

1992-1994	(part-time) teacher at the Yaroslavl Distance Learning Mathematical School, Russia
1994-1996	(part-time) teaching assistant, Computer Science Department, Yaroslavl State University, Russia
1997-1998	Assistant Professor, Computer Science Department, Yaroslavl State University, Russia
1998-2000	post-doc, Information and Communication Systems group, Electrical Engineering Department, Eindhoven University of Technology, the Netherlands
since Aug 2000	Assistant Professor, Architecture of Information Systems group, Department of Mathematics and Computer Science, Eindhoven University of Technology, the Netherlands

 

Courses given

Lectures

Process Modelling (2003-2004, 2004-2005, 2005-2006)
Databases (2004-2005, 2005-2006)
Informatica (2003-2004)

Students' project coordination

“From Models to Systems” (2003-2004, 2004-2005, 2005-2006)

Instructions

System Modelling (2000-2001, 2001-2002, 2002-2003),

Development of Information System (2001-2002, 2002-2003),

Process Algebra (2000-2001, 2002-2003),

Databases 1 (2000-2001, 2001-2002, 2002-2003),

Database Systems (2000-2001),

Logic (1997-1998),

Formal Languages and Grammars (1994-1998),

Parsing and Compilation Methods (1994-1998),

Numerical Analysis (1997-1998),

Programming (1994),

Supervising graduate students,

Supervising student project groups (projects “Virtual Enterprise” – 2000-2002, “From Models to Systems” – 2001-2002, Software Engineering projects – 2001-2002, 2002-2003),

Supervising student’s internships .

 

Research experience:

Specification and verification of reactive systems,

Abstraction techniques,

Static analysis,

Discrete-time systems,

Petri nets, their analysis and transformations,

Using theorem-provers to automate safety proofs in abstract interpretation.

 

Ongoing research:

Modelling components with Petri nets, 

Verification of open reactive systems,

Testing and verification of timed systems,

Data abstractions, abstractions of timers and time.

 

Participation in projects:

 

At the Laboratory of Theoretical Computer Science,

      the  Yaroslavl State University:

 

  "Modelling and programming of concurrent processes", 1992-1993

  (joint project with the Institute of Problems of Computer Science of

   Russian Academy of Sciences)

 

  "Models and algorithms for recursive-parallel programming",

  1994-1996, (project supported by RFBR – Russian Foundation for Basic

  Researches)

 

  "Modelling and analysis of concurrent processes", 1992-1997

  (project of national programme "The Universities of Russia")

 

  "Methods and tools for verification and analysis of distributed systems", 1996-1998 
  (project INTAS-RFBR #378)

 

At the Eindhoven University of Technology:

 

  VIRES project, 1998-2000, post-doc

  (Verifying Industrial Reactive Systems, Esprit Long Term Research Project #23498)

  "Modelling and Verification of Business Processes", 2003-2007, project leader

  (NWO-project, 1 PhD student and 1 postdoc)

 
  "Route", April-June 2006, project leader
  (verification of UML activity diagrams for an external party, 3 researchers)

  "Workflow Management for Large Parallel and Distributed Applications", 2006-2010, project leader

  (NWO-project, 2 PhD students and 1 postdoc)   

 

Personal prizes and grants:

 

Prize in the Competition of Young Researchers organized by the Russian Ministry of Education, 1996, granted for performing researches abroad (at the Laboratory of Specification and Verification, l'Ecole normale supérieure de Cachan, France, under supervision of Ph. Schnoebelen)

 

Research grant of French Association "Promathematica", 1997.

 

List of Publications

 

Back to my homepage