Adresse

Mathematische Grundlagen der Informatik
RWTH Aachen
D-52056 Aachen

Telefon:	+49-241-80-21709
Fax:	+49-241-80-22215
Büro:	4119 (E1) / Ahornstr. 55
E-Mail:	brinke [AT] logic.rwth-aachen.de

Sprechstunden

Wenn die Tür offen ist / nach Vereinbarung.

Forschung

• Modelltheorie, Algorithmen und Anwendungen der Halbringsemantik

Aktuelle Publikationen

• S. Brinke. Ehrenfeucht-Fraïssé Games for Semiring Semantics. Master thesis, RWTH Aachen University, 2023.

Alle Publikationen