idw – Informationsdienst Wissenschaft
Nachrichten, Termine, Experten
Nachrichten, Termine, Experten
idw - Informationsdienst
Wissenschaft
Die International Conference on Computer-Aided Verification (CAV) hat Prof. Jakob Rehof von der Fakultät für Informatik im Sommer in Paris mit dem „CAV Award 2023“ ausgezeichnet. Der internationale Award wird jährlich für grundlegende Beiträge im Bereich der computergestützten Verifikation verliehen. Der Professor für Software Engineering von der Fakultät für Informatik wurde für die Einführung der kontextbeschränkten Analyse und ihre Anwendung auf das systematische Testen von nebenläufigen Programmen geehrt. Den diesjährigen Award teilt er sich mit Kollegen von Microsoft und Meta sowie von der University of Wisconsin.
Nebenläufige Programme beinhalten Prozesse, die gleichzeitig ausgeführt werden und einander dabei beeinflussen können. Die Analyse solcher Programme ist daher besonders komplex, und grundsätzliche Fragen sind deswegen nicht berechenbar. Zu den grundsätzlichen Fragen gehört zum Beispiel die Erreichbarkeitsfrage: Kann ein nebenläufiges System in eine Fehlersituation geraten? Prof. Jakob Rehof zeigte bereits im Jahr 2005 zusammen mit seinem Kollegen Shaz Qadeer, dass eine Beschränkung der Ausführungskontexte zur Berechenbarkeit führt. Demnach kann ein großer Teil von praktisch relevanten Erreichbarkeitsfragen theoretisch automatisch beantwortet werden. Weitere Arbeiten, die auf den grundlegenden Erkenntnissen von Rehof und Qadeer aufbauten, konnten die kontextbeschränkte Analyse beim systematischen Testen von nebenläufigen Programmen seither weiter in die Praxis übertragen.
„Die ausgezeichnete Arbeit hatte einen wesentlichen Einfluss auf die akademische Welt und die Industrie und führte zu zahlreichen theoretischen, methodischen und praktischen Entwicklungen und effizienten Werkzeugen, die in der Softwareentwicklung eingesetzt werden“, heißt es in der Begründung der CAV-Jury für die Verleihung des diesjährigen Awards an Prof. Rehof und seine Kollegen Akash Lal und Madan Musuvathi von Microsoft Research, Shaz Qadeer von Meta sowie Thomas Reps von der University of Wisconsin. Die Auszeichnung ist mit einem Geldpreis in Höhe von 10.000 US-Dollar dotiert.
Über Prof. Jakob Rehof
Seit 2006 ist Jakob Rehof Professor an der Fakultät für Informatik der Technischen Universität Dortmund, wo er den Lehrstuhl für Software Engineering innehat. Von 2006 bis 2021 war er zudem Mitglied der Institutsleitung des Fraunhofer-Instituts für Software- und Systemtechnik (ISST) in Dortmund. Von 1998 bis 2006 war Jakob Rehof bei Microsoft Research in den USA tätig. Er studierte Informatik und Mathematik an der Universität Kopenhagen und promovierte in Informatik am Department of Computer Science der Universität Kopenhagen.
Prof. Dr. Jakob Rehof
Fakultät für Informatik, Software Engineering
jakob.rehof@tu-dortmund.de
http://i-cav.org/cav-award/ Zum CAV Award
Prof. Jakob Rehof
Sascha Kreklau
Criteria of this press release:
Journalists, Scientists and scholars
Information technology
transregional, national
Contests / awards
German
You can combine search terms with and, or and/or not, e.g. Philo not logy.
You can use brackets to separate combinations from each other, e.g. (Philo not logy) or (Psycho and logy).
Coherent groups of words will be located as complete phrases if you put them into quotation marks, e.g. “Federal Republic of Germany”.
You can also use the advanced search without entering search terms. It will then follow the criteria you have selected (e.g. country or subject area).
If you have not selected any criteria in a given category, the entire category will be searched (e.g. all subject areas or all countries).
