Institute of

Theoretical Computer Science


Technische Universität Braunschweig

Florian Furbach

PhD Student

M.Sc. in Computer Science

Office: IZ 309, i.e. Informatikzentrum, 3rd floor, office 309,
Mühlenpfordtstr. 23, D-38106 Braunschweig
Mail: Florian Furbach
Institut für Theoretische Informatik
Mühlenpfordtstr. 23
D-38106 Braunschweig

Since January 2013, I have been a PhD student in the Concurrency Theory Group. I studied Computer Science at the University of Kaiserslautern. My research interests include weak memory models and control synthesis

List of publications