Research Area

• B method
• Algebraic Specification
• Abstract Data Types and Generic Programming
• Programming Languages and Compiling

Research Works

• Specification of abstract systems with the B method: specification of liveness properties with and without fairness
• Analysis of the behaviour of abstract systems through finite labelled transition systems
• Certified code generation using formal methods
• Case studies on software specification
• Design and implementation of the Specification Language LPG
• Implementation techniques of generic modules