Université de Waterloo, Université de Toronto

Richard C. "Ric" Holt a été un membre pionnier de la communauté universitaire en informatique depuis son arrivée à l'université de Toronto en tant que nouveau professeur assistant en 1970, puis à l'université de Waterloo à partir de 1997. Il a apporté un certain nombre de contributions décisives dans divers domaines de la recherche sur les systèmes informatiques, notamment :

  • Systèmes d'exploitationLa conception des systèmes d'exploitation SUE, Tunis, Secure Tunis et HECTOR.
  • Langages de programmation, compilateurs et enseignement de l'informatique: la conception et la mise en œuvre des langages de programmation SP/k, Concurrent Euclid, Turing, TuringPlus et OOT, qui ont été très largement utilisés dans les universités et les écoles secondaires au Canada et à l'étranger, à partir des années 1980.
  • Modélisation de l'architecture logicielleLa conception et la mise en œuvre des outils PBS/SWAG-kit pour l'extraction, l'analyse et la visualisation de l'architecture logicielle, le moteur d'algèbre relationnelle GROK et le format d'échange de logiciels GXL pour l'interopérabilité des outils ; des études de cas importantes sur les architectures de Linux, Mozilla, Apache et de nombreux autres grands systèmes à code source ouvert.
  • Analyse des logicielsLes principales caractéristiques de ce travail sont les suivantes : cofondation du domaine de recherche de l'analyse et de l'exploration des référentiels logiciels et cofondation de sa principale conférence (la conférence de travail internationale de l'IEEE sur l'exploration des référentiels logiciels, CORE : A) ; en contribuant à des travaux précoces influents sur un certain nombre de problèmes, notamment la prédiction des défauts, la modélisation thématique en langage naturel des artefacts de développement et l'extraction empirique des processus logiciels.

Au fil des ans, Ric a également supervisé les doctorats de nombreux étudiants qui sont devenus des personnalités universitaires de premier plan, notamment Dave Barnard (président de l'université du Manitoba, ancien président de l'université de Regina), Jim Cordy (ACM Distinguished Scientist, ancien directeur du département d'informatique de l'université Queen's), Spiros Mancoridis (Distinguished Professor, ancien Head, et doyen par intérim du département d'informatique de la Drexel University), Ahmed Hassan (titulaire d'une chaire de recherche du CRSNG Canada à la Queen's University), Mike Godfrey (Cheriton Faculty Fellow et ancien titulaire d'une chaire associée du CRSNG-IRC, University of Waterloo), Bil Tzerpos (York University), Abram Hindle (2017 CS-CAN | INFO-CAN Outstanding Young CS Researcher, University of Alberta), et Sarah Nadi (University of Alberta).

Ric a été coauteur de dizaines de publications dans des revues et des conférences très citées, dont beaucoup ont eu une grande influence ; par exemple, son article de 1972 sur les propriétés des blocages est couramment cité dans les manuels sur les systèmes d'exploitation, et son article de 1998 sur l'algèbre relationnelle de Tarski pour modéliser l'architecture logicielle a remporté un prix "Most Influential Paper". Google Scholar montre qu'il a publié 20 articles avec plus de 100 citations chacun. Outre ses publications universitaires, Ric est également coauteur de 16 ouvrages sur la programmation, les systèmes d'exploitation et l'enseignement de l'informatique.

Enfin, il convient de souligner que tout au long de sa carrière, Ric a réussi à garder un contact étroit avec l'industrie, nouant des relations étroites avec des sociétés telles que IBM Canada, Nortel Networks, Sun Microsystems et CA Technologies. Grâce à une longue série de collaborations industrielles, ses étudiants ont été exposés aux problèmes du développement de logiciels dans le monde réel et, à leur tour, les idées de son groupe de recherche ont eu un impact sur les pratiques et les produits de ces entreprises. Ric a été président du Nortel Networks Institute de l'université de Waterloo et titulaire d'une chaire de recherche industrielle du CRSNG parrainée par Nortel Networks. En outre, il a dirigé pendant de nombreuses années sa propre société de logiciels, Holt Software Associates, afin de soutenir l'utilisation du langage de programmation Turing dans les écoles secondaires et les universités.