Habilitation Defense Didier Verna

From LRDE

Revision as of 10:37, 10 July 2020 by Daniela (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)


Logo of Sorbonne University.png EDITE Logo.png Epita-logo-2.png Lrde.png

SOUTENANCE D'HABILITATION A DIRIGER DES RECHERCHES
DIDIER VERNA
VENDREDI 10 JUILLET 2020
Paritalie, Bâtiment X, 3e étage, salle 2 Apprentis, A 14H00



(Dynamic (Programming Paradigms)) ;; Performance and Expressivity


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.


Manuscript


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