Campus HagenbergInformatik, Kommunikation, Medien

NewsSoftware Engineering

Berühmter Informatikforscher lehrt an unserer FH

Prof. Dr. Börger von der Universität Pisa als Gastprofessor am FH OÖ Campus Hagenberg


Prof. Dr. Egon Börger vom Institut für Informatik der Universität Pisa lehrte in Hagenberg unter anderem zum Thema "Abstract State Machines", als deren Miterfinder er gilt.

Der bekannte Professor vom Institut für Informatik  der Universität Pisa unterrichtete bereits im vergangenen Jahr an der FH OÖ in Hagenberg und kehrt diesen März wieder als Gastprofessor an unserer Fakultät zurück.

Renommierter theoretischer Informatiker

Professor Börger ist ein berühmter Forscher im Bereich der theoretischen Informatik und Pionier in der Anwendung logischer Methoden in Informatik. Er gilt als Miterfinder der „Abstract State Machines“, einer Verallgemeinerung der „Finite State Machines“ (endlicher Automaten), die ermöglicht, das Zustände durch beliebige abstrakte Datenstrukturen beschrieben werden können.
 
Im Rahmen einer Blockvorlesung zum Thema Abstract State Machines zeigte Professor Börger, welche Anwendungsmöglichkeiten es dafür im Bereich der Softwareentwicklung (von der Spezifikation, über die Implementierung bis hin zur Dokumentation) gibt und führte das auch anhand von CoreASM, einem Open-Source-Werkzeug, praktisch vor.

Mehr Informationen über Professor Börger: http://en.wikipedia.org/wiki/Egon_B%C3%B6rger

Prof. Dr. Egon Börger

Prof. Dr. Egon Börger vom Institut für Informatik der Universität Pisa lehrte in Hagenberg unter anderem zum Thema "Abstract State Machines", als deren Miterfinder er gilt