Links und Funktionen
Sprachumschaltung

Navigationspfad
Sie sind hier: Startseite / Aktuelles / Nachrichten / IEEE Test-of-Time Award für Dr. Martin Hofmann


Inhaltsbereich

IEEE Test-of-Time Award für Dr. Martin Hofmann

Prof. Martin Hofmann aus der LFE Theoretische Informatik hat gemeinsam mit Thomas Streicher (TU Darmstadt) den diesjährigen IEEE Test-of-Time Award für Logic in Computer Science erhalten!

Mit dieser Auszeichnung werden jedes Jahr zwanzig Jahre alte herausragende Arbeiten aus dem Gebiet der Logik in der Informatik gewürdigt, die nach wie vor von Bedeutung sind. In diesem Jarh wurde die Auszeichnung an zwei Arbeiten, darunter an die von Prof. Martin Hofmann und Thomas Streicher mit dem Titel "the Groupoid Model Refutes Uniqueness of Identity Proofs", vergeben.

 

Herzlichen Glückwunsch!

 

Zur Würdigung: www.lics.rwt-aachen.de/csl-lics14/tot94_citiations.pdf

Artikelaktionen

Funktionsleiste