Zum Inhalt springen
Informatik Austria
  • Blog
  • Standorte
    • AAU Klagenfurt
    • IST Austria
    • Universität Linz
    • TU Graz
    • TU Wien
    • Universität Innsbruck
    • Universität Salzburg
    • Universität Wien
    • OCG
  • Termine
  • Services
    • Durchlässigkeitsguide
    • PhD-Programme
    • Bildungsangebote
    • Professuren
    • InformatikerInnen-Portraits
  • Über uns
    • Informatik Austria
    • Impressum

Korrektheitsbeweis

René Thiemann – InformatikerInnen Kurzinterview

14. November 201825. Juni 2018 von uniinnsbruck

“Ähnlich wie bei Lego-Steinen, wo man aus einer kleinen Auswahl von Basis-Blöcken Kunstwerke erstellen kann, so wird auch in der Informatik aus ein paar Basis-Operationen komplexe Software erstellt.”

Kategorien InformatikerIn der Woche, Logik & AI, Software Engineering, Universität Innsbruck Schlagwörter Korrektheitsbeweis, Theorem-Beweiser, Verifizierte Software Schreibe einen Kommentar

Durchlässigkeitsguide

Welcher Bachelor passt zu welchem Master? – Alle Kombinationsmöglichkeiten auf einen Blick.

PhD-Programme

Informatik-PhD in Österreich

Bildung

Informatik-Kompass: Kurse und Weiterbildungen für SchülerInnen und LehrerInnen

 

Angebote für Jugendliche und junge Frauen

Professuren

Aktuelle Ausschreibungen

InformatikerInnen

InformatikerInnen an österreichischen Universitäten im Kurzportrait.

Informatik Austria

Stellungnahmen und Publikationen

Über Informatik Austria – Informatik an österreichischen Universitäten

Neueste Beiträge

  • ERC Consolidator Grant für Laura Kovacs (TU Wien)
  • Das Gute in der Künstlichen Intelligenz
  • ERC Starting Grant für Sebastian Forster (Universität Salzburg)
  • Gemeinsame Erklärung von Informatics Europe
  • Gabriele Kotsis wird Präsidentin der Association for Computing Machinery (ACM)

Informatik Austria – Twitter

Tweets by informatik_at
© 2021 Informatik Austria | Kontakt – Vorstand und Delegierte