Tina Kraußer
Dipl.-Inform.
Process Automation (field of study)(The company name is only visible to registered members)
- 52064 Aachen
- Germany
Personal information
- Interests
- Familie, GeoCaching, Wandern, Rad fahren
- Groups
-
Educational background
- Dec 2006
-
RWTH Aachen University
Process Automation, PhD
Promotion (Thema: Regelbasierte Modelltransformation in Automatisierungssystemen, geplanter Abschluss: Herbst 2012), Lehre im Bereich Automatisierungstechnik
- 2001 - 2005
-
Universität Bremen
Informatik, Dipl.-Inform.
Theoretische Informatik
- 2000 - 2001
-
The Royal Institute of Technology - Stockholm (Schweden)
Datortechnik (Informatik)
Auslandssemester
- 1999 - 2000
-
Universität Bielefeld
Informatik
- Languages
- English (Fluent), German (First language), Swedish (Good knowledge)
- Employment status
- Recent graduate/Student
Professional experience
-
- 2006 - present
-
Wissenschaftliche Mitarbeiterin
RWTH Aachen University, http://www.plt.rwth-aachen.de/
Industry: Research, Automatisierungstechnik, Leitsysteme, Regelbasierte Modelltransformation, IEC-61131
-
- 2005 - 2006
-
Wissenschaftliche Mitarbeiterin
Industry: Research, Spezifikation, Softwareverifikation, Theoretische Informatik, Formale Methoden
-
- 2003 - 2005
-
Universität Bremen, http://www.informatik.uni-bremen.de/agbkb/index_d.htm
Industry: Research, Spezifikation, Softwareverifikation, Theoretische Informatik, Formale Methoden
-
-
Jun 2004
- Aug 2004
(3 months)
-
Praktikum - Softwareverifikation
DFKI Saarbrücken, http://www.dfki.de/
Industry: Research, Spezifikation, Softwareverifikation, Theoretische Informatik, Formale Methoden
-
Jun 2004
- Aug 2004
Search the XING network
Find new business contacts on XING and get back in touch with old contacts!