IST Austria
Amir Goharshady erhält den Khwarizmi-Preis
MARIA GUGGING (pa). Amir Goharshady des IST Austria wurde mit dem höchsten iranischen Wissenschaftspreis für Jungforscher geehrt. Der jährlich vergebene Preis ist nach dem bekannten persischen Mathematiker des 9. Jahrhunderts Muhammad ibn Musa al-Khwarizmi benannt, der als Begründer der Algebra gilt. Er wird vom iranischen Präsidenten an Forscher verliehen, die jünger als 35 Jahre sind. Im vergangenen Jahr wurden 12 Preisträger vom iranischen Forschungsrat für Wissenschaft und Technologie ausgewählt. Amir Goharshady – er ist PhD-Studierender in der Chatterjee-Gruppe am IST Austria – empfing die Auszeichnung für seine grundlegende Forschung und seine „Rolle als Co-Autor in der Entwicklung innovativer neuer Algorithmen für die statische Analyse of Programmen, insbesondere durch Parametrisierung und algebraische Methoden, die zu enormen Fortschritten in der Softwareverifikation führten“.
Kommentare
Du möchtest kommentieren?
Du möchtest zur Diskussion beitragen? Melde Dich an, um Kommentare zu verfassen.