Newsletter abonnieren

Sie stimmen durch die Nutzung unserer Website zu, dass Cookies auf Ihrem Gerät gespeichert werden und Google Analytics zum Einsatz kommt, um Ihnen den bestmöglichen Service zu bieten. Nähere Infos dazu finden Siehier.
Österreich.
Wo Ihre Gewinne in den Himmel wachsen.

Royal Society vergibt "Milner Award 2015" an IST Austria-Chef

Henzinger erhält den von Microsoft Research unterstützten Preis "in Anerkennung seiner wesentlichen Beiträge zu Theorie und Praxis der formalen Verifikation und Synthese von reaktiven, hybriden und Echtzeit-Computersystemen". Neben einer Medaille und einem Betrag von 5.000 Pfund (7.200 Euro) ist die Auszeichnung mit der Einladung zu einer öffentlichen Vorlesung in der Royal Society verbunden.

Für Henzinger ist der Namensgeber des Preises, der britische Informatiker und Turingpreisträger Robin Milner (1934-2010), "einer meiner wissenschaftlichen Helden und Vorbilder", vor allem was dessen "Zugang zu Formalismen betrifft, die durch ihren Reinheitsgrad spezifische Aspekte der Computerwissenschaft äußerst konzise beleuchten."

Auf Facebook teilen Auf Facebook teilen Auf Twitter teilen Auf Twitter teilen

Testimonials

Veranstaltungen

Treffen Sie uns bei Veranstaltungen, Seminaren und Messen - weltweit.

  • Meet us @ Plast/Ipack Ima

    29. - 30.05.2018, Milano, Italia

  • Österreichische Wirtschaftsmission in die Baltischen Staaten

    30.05.2018, Vilnius, Lithuania

Österreich-Karte

Finden Sie den perfekten Standort für Ihr Unternehmen

Lagerlogistik für Osteuropa ist von Wien aus günstiger als von Prag oder Budapest. Denn der Speditionsverkehr zwischen den einzelnen Reformländern ist noch wenig entwickelt, während von Wien aus nahezu jede Ostdestination mehrmals pro Woche bedient wird.

Hewlett Packard Austria

Logo
Alle Testimonials

Neues vom Standort Österreich

Im Mai ist Österreich DER Startup-Hotspot

Apple-Co-Founder Steve Wozniak oder Angie Jones von Twitter und Microsoft-AI-Experte Joseph Sirosh werden Mitte Mai ein Publikum von 8.000 Menschen bei WeAreDevelopers Conference begeistern.

Headquarters-Cluster: Neue Impulse durch Digitalisierung

Rund 380 regionale Firmenzentralen sind in Österreich angesiedelt. Dazu kommen Hunderte österreichische Unternehmen, die sich im Zuge ihrer Internationalisierung zur globalen Zentrale entwickelten. Der Großraum Wien zählt damit heute zu den führenden Headquarters-Standorten in Europa.

alle News alle Blog Einträge