La communauté académique de l’Université Western de Timișoara est constamment soucieuse de promouvoir et de reconnaître les mérites des grandes personnalités du monde scientifique. En cette année où nous célébrons le 80e anniversaire de la fondation de notre université par décret royal, nous sommes honorés de reconnaître les mérites du professeur Erika Ábrahám de l'Université RWTH d'Aix-la-Chapelle, en Allemagne.
Le professeur Erika Ábrahám est née à Szeged, non loin de Timisoara, elle a obtenu un diplôme en informatique de l'Université de Kiel, en Allemagne, et un doctorat de l'Université de Leiden, aux Pays-Bas. Elle est actuellement coordinatrice du groupe de recherche en "Théorie des systèmes hybrides" à l'Université d'Aix-la-Chapelle et mène des activités de recherche dans divers domaines tels que la vérification de satisfiabilité, les systèmes hybrides et probabilistes, les systèmes de raisonnement automatique avec des applications dans l'énergie verte et le supercalcul.
Au fil du temps, il a obtenu des résultats importants dans plusieurs domaines du raisonnement automatique et de la vérification formelle. L'une des directions de recherche importantes qu'il a initiées avec plusieurs autres chercheurs est la combinaison du calcul symbolique et de la vérification de satisfiabilité. C'est ainsi qu'est née la série d'ateliers SC-square. On peut dire que l'Université de l'Ouest de Timișoara a joué un rôle important dans cette initiative, car le premier atelier SC-square a été organisé dans le cadre de la série de conférences SYNASC organisées chaque année, à partir de 1999, par le Département d'informatique. Le nom du professeur Erika Ábrahám est étroitement associé à la conférence SYNASC, puisqu'elle a été conférencière invitée puis présidente du comité de programme lors des éditions précédentes de la conférence.
En outre, le professeur Erika Ábrahám a été et est impliqué dans des projets de partenariat Erasmus+ coordonnés par l'Université de l'Ouest de Timișoara, jouant un rôle important dans le renforcement de la coopération entre notre université et l'Université d'Aix-la-Chapelle. Dans ce contexte, au cours des dernières années, il a visité le département d'informatique de notre université à plusieurs reprises, consolidant les collaborations existantes et en établissant de nouvelles.
Nous sommes heureux que l'Université occidentale de Timișoara ait l'occasion de le récompenser pour son excellente activité scientifique, en lui attribuant le titre de Docteur Honoris Causa lors d'une cérémonie qui aura lieu le mardi 17 septembre à l'Amphithéâtre A01 de l'UVT.
Nous t'attendons!
