Génie logiciel formel : théorie, pratique et pédagogie (apprentissage a partir de l'expérience du vote électronique). (Formal software engineering: theory, practice and teaching (learning from the E-voting experience))

This HDR is a summary of the last 20 years of my research career (since I started my PhD). It provides an overview of all my research activities. It focuses on my contributions to the domain of formal software engineering. With respect to fundamental theory, it reports on my work in the area of feature interactions and feature composition. To demonstrate my ability to apply research to real-world problems, it reports on my research on electronic voting. It then reports on my research into the symbiotic nature of research and teaching, with emphasis on formal methods and problem based learning. Finally, it puts forward a proposal for research into a software product line for e-voting systems, that combines theory, practice and education in a complementary manner