Curriculum Vitae


 

Surname

Sidorova

Name  

Natalia

Date of birth 

July 17, 1972

Place of birth

Kostroma, Russia

Nationality

Marital status

Dutch, Russian

married, two children

Home address 

Opera 109, 5629 NT  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,

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, 2006-2007)
Metamodeling and Interoperability (2007-till now)
Databases (2004-2005, 2005-2006)
Informatica (2003-2004)

Students' project coordination

“From Models to Systems” (2003- till now)

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

Management and organization
Vice-chair of the Board of the Computer Science subdepartment of the department of Mathematics and Computer Science, Eindhoven University of Technology
Member of the Org. Committees of PaCT'97, ICATPN 2003.

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 and verification of services with Petri nets, 

Verification of open reactive systems,

Testing and verification of timed systems,

Abstractions for verification.

 
PhD students:

Natalia Yustinova: PhD thesis Abstractions and Static Analysis for Verifying Reactive Systems, defended on 4 November, 2004
Olivia Oanea:        PhD thesis  Verification of soundness and other properties of business processes, defended on 11 December, 2007
Jan Martijn van der Werf: defence expected in 2010
Helen Schonenberg:          defence expected at the end of 2010
Carmen Bratosin:              defence expected at the end of 2010

Membership in PhD evaluation committees
Jens Calamé, Testing Reactive Systems with Data – Enumerative Methods and Constraint Solving, Defense: University of Twente, 4 September, 2008.



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)


"Providing Full Life Cycle Support for Adaptive Processes by Advanced Mining Approaches"
(co-promotor of a PhD student within the project)


  "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