Angelika Mader


Function:Assistant Professor


I studied computer science with mathematics at the Technical University in Munich and did there also my PhD in Theoretical Computer Science. As a postdoc, first at the University of Nijmegen and later at the University of Twente, I moved towards the area of embedded systems, exploring the possibilities to increase the quality of such systems by modelling and verification. At the University of Twente I am an assistant professor since 2002, in the groups “Distributed and Embedded Systems” (computer science), “Robotics and Mechatronics” (electrical engineering), and since 2015 in “Human Media Interaction” (computer science).

I have contributed to the EU projects VHS (Verification of Hybrid Systems), AMETIST (Advanced Methods for Timed Systems) and DESTECS (Design Support and Tooling for Embedded Control Software). From NWO I received grants for “Verification of PLC applications” (postdoc), “Methods of Modelling Embedded Systems” (MEERVOUD), and “Modelling Control Aspects of Embedded Systems” (with R. Wieringa, open competition). I have been reviewer for a number of conferences and journals, a committee member at NWO for MEERVOUD and VENI grants, and supervised PhD students and bachelor students.

I was involved in setting up and developing a new bachelor programme “Creative Technology” at the University of Twente, where I am teaching a number of programming and project courses. My focus of research shifted to areas related to Creative Technology, including the Design Method of Creative Technology, Teaching Methods (as Tinkering), and Wearable Technology.