Michalis Famelis : À la recherche des sources d’incertitude liée à la conception: justifications, contournements, et bien davantage.

Consultez l’enregistrement du séminaire ici (durée : 1 heure et 9 minutes)

Heure et date : le 4 décembre 2024 à 12h30 (Il y aura de la pizza fournie à partir de 12h00)
Lieu : PK-5115 et Zoom
Conférencier : Michalis Famelis (UdeM)

Abstract:

Depuis plus de dix ans, je m’intéresse à l’incertitude liée à la conception, c’est-à-dire à l’incertitude que les individus ont sur la conception des systèmes. J’ai commencé par développer des techniques formelles pour modéliser et affiner l’incertitude dans des modèles logiciels. Mais il m’est vite apparu qu’une meilleure compréhension de ses sources et de sa nature était essentielle. Elle est étroitement liée à l’intention et aux justifications de conception, et se révèle parfois dans des contextes inattendus, comme les contournements des utilisateurs qui révèlent des alternatives de conception non envisagées. Dans cet présentation, je vais décrire mon programme de recherche et présenter en détail des projets en cours sur l’exploration des justifications de conception et la compréhension des solutions de contournement des utilisateurs.

Bio: 

Michalis Famelis est professeur agrégé au Département d’informatique et de recherche opérationnelle de l’Université de Montréal, où il est membre de l’équipe de recherche en génie logiciel GEODES. Il a obtenu son doctorat (2016) en informatique à l’Université de Toronto. Il travaille à développer des techniques et des méthodes formelles tout en étant pratiques pour l’ingénierie du logiciel. Pour ce faire, il s’inspire de disciplines telles que la vérification formelle, l’ingénierie dirigée par les modèles et les méthodes empiriques. Il étudie le contexte du développement logiciel et conçoit de nouvelles techniques qui utilisent des abstractions spécifiques au domaine, soutenues par une automatisation rigoureuse.