Florian Furbach
PhD Student
M.Sc. in Computer Science
| Email: | furbach@cs.uni-kl.de |
| Phone: | +49 (0)531 391 9525 |
| 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 | |
| Germany |
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