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 Auf Linkedin teilen Auf Linkedin teilen

Testimonials

Veranstaltungen

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

  • Meet us in Moscow

    23. - 26.04.2019, Moscow

  • Meet us @ Pioneers

    09. - 10.05.2019, Vienna

Österreich-Karte

Finden Sie den perfekten Standort für Ihr Unternehmen

Am Standort Österreich haben unsere Mitarbeiterinnen und Mitarbeiter mit einem tollen „mind-set“ eine einzigartige Expertise aufgebaut, die uns hilft, unsere Position am Weltmarkt weiter zu stärken. Wir verbinden hier eine leistungsstarke innovative Fertigung mit Forschung und Entwicklung im Bereich der Leistungselektronik. Neben einer sehr guten Zusammenarbeit mit Partnern und Netzwerken, einer gutentwickelten Landschaft von „Talentschmieden“, von den HTL bis zu Universitäten, schätzen wir als Unternehmen auch das hervorragende Modell der Forschungsförderung in Österreich.

Infineon

Logo Infineon
Alle Testimonials

Neues vom Standort Österreich

Mit vertec die Rentabilität zu maximieren

Der Schweizer Software-Spezialist Vertec ist nach der Firmengründung in Österreich mit Jahresbeginn 2019 im gesamten DACH-Raum tätig.

Blockchain-Technologien: Österreichs Beitrag im globalen Rennen

Nicht zuletzt aufgrund des Bitcoin-Hypes Ende 2017 findet derzeit ein internationaler Wettlauf rund um die der Kryptowährung zugrundeliegende Blockchain-Technologie statt. Während Asien, und allen voran China, aktuell die Nase vorn hat, liegt die USA etwas zurück. In Europa befindet sich die Blockchain-Industrie in weiten Teilen noch im Embryonalzustand. Warum es trotzdem Hoffnung gibt und welche Rolle Österreich dabei spielt, erfahren Sie hier.

alle News alle Blog Einträge