Sebastian Schweizer
PhD Student
M.Sc. in Computer Science
| Email: | schweizer@cs.uni-kl.de |
| Office: | IZ 342, i.e. Informatikzentrum, 3rd floor, office 342, |
| (Braunschweig) | Mühlenpfordtstr. 23, D-38106 Braunschweig |
| Office: | 34-405, i.e. Building 34, 4th floor, office 405, |
| (Kaiserslautern) | Gottlieb-Daimler Str., 67663 Kaiserslautern |
| Mail: | Sebastian Schweizer |
| (Braunschweig) | Institut für Theoretische Informatik |
| Mühlenpfordtstr. 23 | |
| D-38106 Braunschweig | |
| Germany | |
| Mail: | Sebastian Schweizer |
| (Kaiserslautern) | TU Kaiserslautern, Fachbereich Informatik |
| Postfach 3049 | |
| D-67653 Kaiserslautern | |
| Germany |
I am a PhD student in the Concurrency Theory Group. I study Computer Science here in Kaiserslautern since 2011. Currently, I research the behavior of concurrent programs executed under weak memory models to find simple forms of deviations from sequential consistency behavior. The aim is to prove robustness of programs.
Teaching
Tutor
- 2016 SS: Advanced Automata Theory (partial)
- 2013/14 WS: Software-Entwicklung 1
- 2013 SS: Formale Grundlagen der Programmierung
- 2012/13 WS: Software-Entwicklung 1
- 2012 SS: Mathematik für Informatiker: Kombinatorik und Analysis
- 2011/12 WS: Mathematik für Informatiker: Algebraische Strukturen