Habilitation Defense Didier Verna
From LRDE
Abstract:
La programmation dans un language dynamiquement typé présente à la fois des avantages en termes d'expressivité, et des enjeux en termes de performance. Notre travail de recherche vise sur le long terme à développer un véritable métier de génie logiciel multi-paradigme, dans un contexte dynamique, mais également avec un soucis d'homogénéité, c'est-à-dire en évoluant sur une plateforme unique plutôt qu'en agglutinant des briques hétérogènes. On s'attache à développer de nouveaux paradigmes, à faire évoluer les paradigmes existants, ou bien encore à découvrir de nouveaux champs d'applications pour ces derniers. On étudie également les interactions entre paradigmes, à travers les aspects d'orthogonalité, de généricité, et de performance.
Composition du Jury :
- Robert Strandh, University of Bordeaux, France, reporter
- Nicolas Neuß, FAU, Erlangen-Nürnberg, Germany, reporter
- Manuel Serrano, INRIA, Sophia Antipolis, France, reporter
- Marco Antoniotti, University of Milan, Italy, examiner
- Ralf Möller, University of Lübeck, Germany, examiner
- Gérard Assayag, IRCAM, Paris, France, examiner