Accueil🇫🇷Chercher

Reinhard Wilhelm

Carrière

Wilhelm est né à Deutmecke (de), aujourd'hui un secteur de la commune de Finnentrop, Westphalie. Il étudie les mathématiques, la physique et la logique mathématique à l'université de Münster et l'informatique à l'université technique de Munich (TUM) et à l'université Stanford. Il obtient son doctorat à la TUM en 1977[1] sous la direction de Jürgen Eickel (titre de la thèse : « Baum-Transformatoren: ein Vergleich mit Baum-Transduktoren und Aspekte der Implementierung ». En 1978, il obtient un poste de professeur à l'université de la Sarre, où il dirige la chaire de langages de programmation et de construction de compilateurs jusqu'à sa retraite en 2014 ; il est professeur émérite à l'université de la Sarre.

Wilhelm est plusieurs fois chercheur invité, en 1999 et 2008 à l'École normale supérieure, en 1989 au International Computer Science Institute (en), en 1986 à l'univérsité hébraïque et au IBM Israel Scientific Centre, en 1983 à l'university of California at Berkeley.

Responsabilités scientifiques

De plus, Wilhelm a occupé le poste de directeur scientifique du Center Leibniz d'informatique au Schloss Dagstuhl depuis sa création en 1990 jusqu'en 2014.

Wilhelm est l'un des cofondateurs du European Symposium on Programming (en) (ESOP), ensuite fédérée avec la European Joint Conferences on Theory and Practice of Software (ETAPS)[2]. L'Association européenne pour les langages de programmation (EAPLS[3]) est issue de son impulsion de fonder une organisation pour faire avancer la recherche sur les langages de programmation et les systèmes de programmation[4]. En 1998, il fonde AbsInt, une spin-off de recherche qui propose des logiciels de vérification des propriétés de temps critique des systèmes embarqués, utilisé par exemple pour la certification de l'Airbus A380[5].

Recherche

Ses recherches portent sur les langages de programmation, la construction de traducteurs, l'analyse statique des programmes, les systèmes embarqués, l'analyse en temps réel et la visualisation des algorithmes et des structures de données. Il a codéveloppé des générateurs de traducteurs et développé des outils logiciels pour vérifier les analyses en temps réel.

Wilhelm a élaboré des liens entre la génération de code natif et la théorie des automates d'arbres réguliers. Il est l'un des codéveloppeurs des générateurs de compilateurs MUG1, MUG2 et OPTRAN, basés sur les grammaires attribuées. En collaboration avec Ulrich Möncke, il a proposé l'analyse des flux grammaticaux comme une généralisation de l'analyse des flux de données interprocédurales. Il a inventé une analyse basée sur la logique ternaire, une logique à trois valeurs, avec Mooly Sagiv et Tom Reps. Il s'est également intéressé à de petits programmes dans les processeurs graphiques 3D (shaders). Ceux-ci permettent d'obtenir des effets en temps réel presque instantanés, tels que l'agitation de drapeaux ou la réflexion réaliste de surfaces. Dans ses projets de recherche, il a combiné l'infographie et la construction de traducteurs.

Wilhelm est auteur et coauteur de plusieurs livres sur la compilation.

Distinctions

Livres

  • Reinhard Wilhelm et Dieter Maurer, Übersetzerbau. Theorie, Konstruktion, Generierung, Springer, , 2e éd. (ISBN 3-540-61692-6).
  • Reinhard Wilhelm, Informatics – 10 Years Back. 10 Years Ahead, Springer, .
  • Reinhard Wilhelm et Helmut Seidl, Übersetzerbau – Virtuelle Maschinen, Springer, .
  • Sebastian Hack, Helmut Seidl et Reinhard Wilhelm, Übersetzerbau – Analyse und Transformation, Springer, .
  • Reinhard Wilhelm, Einsichten eines Informatikers von geringem Verstande – Glossen aus dem Informatik Spektrum, Springer Fachmedien, (ISBN 978-3-658-28385-8).

Bibliographie

  • Thomas W. Reps, Mooly Sagiv et Jörg Bauer (éditeurs), Program analysis and compilation, theory and practice : Essays dedicated to Reinhard Wilhelm on the occasion of his 60th birthday, Springer, coll. « Lecture Notes in Computer Science » (no 4444), , x + 361 (ISBN 978-3-540-71315-9, zbMATH 1116.68008).
  • Thomas W. Reps, Mooly Sagiv et Jörg Bauer, « An Appreciation of the Work of Reinhard Wilhelm », dans Program Analysis and Compilation, Theory and Practice, vol. 4444, Springer Lecture Notes in Computer Science, (lire en ligne), p. 1-11.

Références

Liens externes

Cet article est issu de wikipedia. Text licence: CC BY-SA 4.0, Des conditions supplémentaires peuvent s’appliquer aux fichiers multimédias.