Sponsionen und Promotionen vom 13. November 2024
Am Mittwoch, den 13. November 2024 feierten 122 Absolvent:innen ihre Sponsion und Promotion. Die Universität Salzburg gratuliert herzlich.
Ana Sokolova: Neue Impulse für Formale Methoden an der Paris Lodron Universität Salzburg
Am 01. Oktober 2024 übernahm Ana Sokolova die Professur für Formale Methoden am Fachbereich Informatik der Paris Lodron Universität Salzburg (PLUS). Diese Berufung verdeutlicht die wachsende Bedeutung des Forschungsgebiets für die Universität und setzt ein starkes Zeichen für den Ausbau der formalen Informatik.