Quentin Stiévenart
sst |
Portrait - Quentin Stiévenart, Professeur (EPL, ICTEAM)
En quelques phrases, comment décririez-vous votre sujet de recherche de manière simple et accessible ?
Mes recherches portent sur l'amélioration de la qualité des logiciels, en particulier au niveau de leur sécurité. Je conçois des approches d'analyse de programme qui consistent à automatiquement déduire certaines propriétés sur des logiciels, afin de détecter automatiquement des bogues ou des vulnérabilités dans les logiciels, ou de prouver l'absence de certaines classes de problèmes. Ces approches sont fondées sur des concepts mathématiques solides, et je les applique à des problèmes réels des logiciels d'aujourd'hui et de demain. On peut voir ces approches comme une sorte de correcteur orthographique pour les développeurs : les outils développés permettent de détecter des erreurs lors du développement de logiciels, ce qui a pour résultat d'améliorer la qualité des logiciels lors de leur déploiement.
In a few sentences, how would you describe your research topic in a simple and accessible way ?
My research focuses on improving software quality, particularly in terms of security. I develop programme analysis approaches that involve automatically inferring certain properties of software, with the aim of automatically detecting bugs or vulnerabilities in software or proving the absence of certain classes of problems. These approaches are based on strong mathematical concepts, and I apply them to real-world problems in the software of today and tomorrow. These approaches can be seen as a sort of spell-checker for developers: the tools developed help to catch errors during software development, which in turn improves the quality of the software when it is deployed.
Quel est l'objectif de vos recherches et quel impact espérez-vous avoir ?
L'objectif principal de mes recherches est de faire de l'analyse automatique de programmes un pilier fondamental pour le développement de logiciels fiables et sécurisés. L'impact de mes recherches est une amélioration de la qualité logicielle, où on souhaite concevoir des logiciels avec moins de bogues et de failles de sécurité.
What's the objective of your research, and what impact do you hope it will have ?
The main aim of my research is to program analysis a cornerstone of the development of reliable and secure software. The impact of my research is to improve software quality by designing software with fewer bugs and fewer security vulnerabilities.
Dans quel état d'esprit abordez-vous votre arrivée à l'UCLouvain ?
J'aborde mon arrivée à l'UCLouvain avec beaucoup d'enthousiasme. Je me réjouis de rejoindre la communauté universitaire, de développer de nouvelles collaborations et de contribuer aussi bien à l'enseignement qu'à la recherche.
How do you feel about joining UCLouvain ?
I'm very excited to join UCLouvain. I look forward to becoming part of the university community, developing new collaborations, and contributing to both teaching and research.
Quelle est votre spécialité belge préférée ?
J'apprécie la diversité dans les biscuits belges, ainsi que les différentes bières belges avec leurs subtilités au niveau de leurs goûts.
What's your favourite Belgian speciality ?
I appreciate the variety of Belgian biscuits as well as the different Belgian beers and their subtle flavours.