|
since 2012 | Research Group Leader of the ESF young researcher group IMData at the Technische Universität Dresden |
10/2013 - 04/2014 | Post Doctoral Research Scholar at the Logical Systems Lab of Prof. Andre Platzer at the Carnegie Mellon University, Pittsburgh, USA |
since 02/2011 | Postdoc at the Technische Universität Dresden |
| Operating Systems Research Group, |
08/2003 - 01/2011 | PhD student at the Technische Universität Dresden |
| Operating Systems Research Group, |
| Advisor: Prof. Hermann Härtig. |
| |
2006 | Internship with Prof. Bart Jacob's |
| Digital Security Group at the Radboud Universiteit Nijemegen |
| Nijmegen, the Netherlands |
| |
2005 | Internship with Prof. Chan-Ik Park's |
| System Software Lab at the Pohang Technical University (PosTech), |
| Pohang, Korea |
| |
2003 | Internship with the |
| Advanced Systems Technology Group of |
| ST Microelectronics Rousset, France |
| |
2001 | Internship: Extreme Blue |
| IBM Research and Development in Boeblingen, Germany |
| |
04/2000 - 02/2003 | Research student and teaching assistant with the |
| System Architecture Group |
| Universitaet Karlsruhe, Germany |
| |
1999 | Internship with the |
| SW Speech Technology Group |
| IBM Research in Heidelberg, Germany |
| |
10/1997 - 02/2003 | Diploma in Computer Science |
| Universität Karlsruhe (TH), Germany |