Adina Aniculaesei
Angestellt, Research Assistant, Institut für Informatik, Abt. Software Systems Engineering, TU Clausthal
Clausthal-Zellerfeld, Deutschland
Werdegang
Berufserfahrung von Adina Aniculaesei
Bis heute 12 Jahre und 7 Monate, seit Nov. 2011
Research Assistant
Institut für Informatik, Abt. Software Systems Engineering, TU Clausthal
3 Monate, Jan. 2011 - März 2011
Student Teaching Assistant
Institut für Software Systems Engineering, TU Braunschweig
Development of seminar exercises. Correcting student exams in the lecture Processes and Methods of Testing of Software.
3 Monate, Juli 2010 - Sep. 2010
Student Research Assistant
Institut für Informatik, TU Clausthal
Development of a parser for automatic code instrumentation in view of real-time profiling of thermodynamic models.
1 Jahr und 6 Monate, Jan. 2009 - Juni 2010
Student Research Assistant
Institut für Software Systems Engineering, TU Braunschweig
Time analysis of thermodynamic models used in automotive industry. Writing a testing framework for the real-time profiled models. Writing a Test Framework for the measured models.
3 Monate, Jan. 2008 - März 2008
Student Trainee
Siemens Transportation Systems
Research in modeling of reactive systems.
3 Monate, Dez. 2007 - Feb. 2008
Student Research Assistant
Institut für Regelngstechnik, TU Braunschweig
Research in the field of neuronal networks. Adapting previous software systems to ensure generation of large networks (~ 50000 nodes).
3 Monate, Juli 2006 - Sep. 2006
Student Research Assistant
Institut für Programmierung und Reaktive Systeme, TU Braunschweig
Transformation of UML state machine models in Promela. Verification of liveness and safety properties in case-studies of traffic lights in busy street intersections.
Ausbildung von Adina Aniculaesei
2 Jahre und 11 Monate, Nov. 2011 - Sep. 2014
Computer Science
TU Clausthal
embedded and real-time systems, smart-energy systems, software architecture and design
4 Jahre, Okt. 2007 - Sep. 2011
Computer Science
Technische Universität Carolo-Wilhelmina zu Braunschweig
real-time systems, verification, model-checking, reactive systems, software engineering, software testing
1 Jahr, Okt. 2005 - Sep. 2006
Computer Science
Technische Universität Carolo-Wilhelmina zu Braunschweig
Erasmus-Socrates scholarship
3 Jahre und 9 Monate, Okt. 2003 - Juni 2007
Computer Science
Universität Alexandru Ioan Cuza, Iasi
performance analysis in computer networks
Sprachen
Englisch
Fließend
Deutsch
Fließend
Rumänisch
Muttersprache