Philippe Dhaussy
PhD in Computer Science
Associate Professor at ENSTA-Bretagne
Member of the LISyC EA-3883 MDE team ( ENSTA Bretagne , ENIB, UBO)
Head of IT department ( Pôle STIC )
2 rue F. Verny, 29806 BREST Cedex 9
tel :(33) 2 98 34 88 90
fax :(33) 2 98 34 89 35
philippe.dhaussy at ensta-bretagne.fr
Research
My research activities in Software Engineering focus on software safety in the context of Model-Driven Engineering (MDE). More precisely I investigate the following areas:
- Formal behavioral semantics of languages,
- Formal validation & verification,
- Software Development Process
Publications
Projects
PhD Thesis
In progress
Teaching
- Software Validation and Verification
|
