Thesis title: Enhancing DO-178C Compliance in Safety-Critical Software: Integrating Formal Methods, Controlled Natural Language, and AI-Driven Automation
Presented by: Rim Zrelli
Program: Computer Engineering and Software Engineering
Department: Dép. de génie informatique et génie logiciel

Jury

President: Tarek Ould-Bachir
Research Director: Gabriela Nicolescu
Research Co-Director: John Mullins
Member: Mohamed Hamdaqa
Representative of the Director of Graduate Studies: Eric Alata

Free entry
Welcome to all!