Martina Seidl

Beiträge zum Thema Martina Seidl

Martina Seidl liebt Zahlen und Formeln. Wenn ihr Kopf zu voll wird, lässt sie die Logik Logik sein und wandert in die Natur hinaus. | Foto: Cornelia Grobner
1 2

Von wegen Nerd. Über eine völlig logische Leidenschaft

Die Bezirksblätter haben die Logikforscherin Martina Seidl, eine gebürtige Klosterneuburgerin, zum Gespräch über ihre Wissenschaft und deren (nicht immer offensichtlichen) Alltagsbezug gebeten. KLOSTERNEUBURG/WIEN (Printausgabe, 13. April 2016). Martina Seidl ist in Klosterneuburg aufgewachsen. Hier am Gymnasium wurde ihre Liebe für Zahlen, für Logik und Informatik geweckt. Vor wenigen Wochen habilitierte die 36-Jährige und darf sich nun Professorin nennen. An der Johannes-Kepler-Universität,...

  • NÖ
  • Klosterneuburg
  • Cornelia Grobner
So sehen Olympiasieger aus: Armin Biere (re.) vom Institut Formale Modelle und Verifikation der JKU Linz gewann bei den ersten Olympischen Spielen der Logik in Wien sechs Medaillen; Martina Seidl (li.) vom gleichnamigen JKU-Insitut gewann eine Medaille. | Foto: TU Wien

"Logischer Sieg" für die Linzer Uni

Erstmals wurden heuer an der TU Wien die „Olympischen Spiele der Logik“ ausgetragen. Computerprogramme aus aller Welt traten im Rahmen des „Vienna Summer of Logic“ gegeneinander an. Schnelligkeit, Anpassungsfähigkeit und (künstliche) Intelligenz waren bei diesem Großereignis gefragt. Die Programme wurde auf Herz und Niere, oder besser: Auf intelligentes Datenmanagement und perfektes Zusammenspiel von Hardware und Software geprüft. Außerdem mussten sie sich schöpferisch beweisen: In der...

  • OÖ
  • Linz
  • Nina Meißl

Du möchtest selbst beitragen?

Melde dich jetzt kostenlos an, um selbst mit eigenen Inhalten beizutragen.

Jetzt anmelden und beitragen