Suzana Andova

Software Engineering & Technology

Model Driven Software Engineering Section

Department of Mathematics and Computer Science

Eindhoven University of Technology

---

            NEWS: Call for papers

            ITSLE2012: Industrial Track of Software Language Engineering

Dresden, Germany, September 25th, collocated with SLE2012

     Research

• Formal Semantics of Domain Specific Languages
• Formal Methods in Software Engineering
• Formal models of probabilistic and stochastic system
• Formalizing Self-Adaptation with the Paradigm Coordination Language
  • mCRL2 translations
  • Prism code of a Client-Server system
  • mCRL2 code of Distributed adaptation of Dinning Philosophers protocol
• Formal methods in Security

Publications (pdf) and short CV

---

Projects

•  LithoSysSL: Language-oriented, Domain Specific Modeling Environments for the Specification Verification and Validation of Lithography Systems, joint KWR project with ASML, funded by SenterNovem
   

• COREF: Common Reference Framework for Executable Domain Specific Languages, joint PointOne project with ASML, funded by AgentschapNL 

---

Current Supervision

Sonja Georgievska PhD student

Frank Stappers Research fellow

Luc Engelen PhD student

Ulyana Tikhonova PhD student

---

Teaching

2IF45 Process Algebra

2IS15 Generic Language Technology (from 2011/2012 co-lecturer)

2IF25 Formal Methods

2IF95 Seminar Formal Methods

2WI05 Software Specification

2IT15 Automata and Process Theory

2IL15 Algorithms

---

Contact Information

Suzana Andova
Department of Mathematics and Computer Science,

Technische Universiteit Eindhoven,

Den Dolech 2, 5612AZ Eindhoven
Room HG 5.36

e-mail: s.andova AT tue . nl
phone: +31-40-2475089
fax: +31-40-2475404
postal address:

        P.O. Box 513,

        5600 MB Eindhoven,

        The Netherlands
 

---