Created by pecheur, at February 24, 2014, at 03:25 PM

On Wednesday 20. December 2013, Sébastien Combéfis brilliantly passed the public defense of his doctorate thesis entitled "A Formal Framework for the Analysis of Human-Machine Interactions".

Sébastien is the second LVL researcher to earn his doctorate, after José Vander Meulen in 2012. He started as a PhD student in 2007. Stay tuned on this channel for updates on his upcoming endeavours.

Tags: Human Computer Interaction, Verification, LVL, Thesis

Sections

• LVL Home Page
• News
• Research Themes
• Publications
• Talks
• Tools
• Staff
• Contact

Tag cloud

Verification Diagnosis Autonomy ModelChecking Planning PDDL Requirements Testing LTL ThemeCoverage HumanComputerInteraction UserModel ProjectMOVES ThemeHMI LVL Website SymbolicModelChecking CTL Actions SMV EpistemicLogic ProjectNASA PartialOrderReduction BoundedModelChecking ThemePOR TemporalLogic Simulation Tools Tutorial Publication Equivalences