Prof. Karsten Wolf wurde in das Steering Committee der jährlich stattfindenden  internationalen Konferenzen "Application and Theory of Petri nets and…

Am Lehrstuhl Theoretische Informatik wurde die Marke von 500 selbst produzierten Lehrvideos überschritten. Inzwischen ist das komplette…

Am 15.9. hat Dipl.-Inf. Torsten Liebke erfolgreich seine Promotionsverteidigung absolviert. Das Thema seiner Dissertation lautet "Improving Explicit…

Auf der Plenarversammlung des Fakultätentages Informatik am 27.11. 2020 wurde Prof. Karsten Wolf in den Vorstand gewählt und wird künftig die…

Angehörige und ehemalige Angehörige des Lehrstuhls Theoretische Informatik wurden mit einem "Test of Time Award 2019 Runner Up" ausgezeichnet. Der…

Die Deutsche Forschungsgemeinschaft fördert das Projekt "Synthese von Petrinetzen auf der Basis der Union/Find-Verfahren" am Lehrstuhl für…

Der Rostocker Lehrstuhl für Theoretische Informatik wurde erneut der erfolgreichste Teilnehmer des jährlichen Modelchecking-Contests in Bratislava.…

Alle drei eingereichten Beiträge des Lehrstuhls für Theoretische Informatik wurden in das Programm der Konferenz PETRI NETS (im Juni 2018 in…