Angelika Mader

PROFILE

Angelika Mader is Assistant Professor at the Human Media Interaction group and Lecturer at the Creative Technology bachelor programme at the University of Twente.

Angelika Mader studied computer science with mathematics at the Technical University in Munich and did there also her PhD in Theoretical Computer Science. As a postdoc, first at the University of Nijmegen and later at the University of Twente, she 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 she is 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).

Angelika Mader is coordinator of the H2020 project WEAFING starting in January 2019. She has 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 she received grants for “Verification of PLC applications” (postdoc), “Methods of Modelling Embedded Systems” (MEERVOUD), and “Modelling Control Aspects of Embedded Systems” (with R. Wieringa, NWO open competition). She has 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. Angelika Mader was involved in setting up and developing a new bachelor programme “Creative Technology” at the University of Twente.

Research

Creative Technology

  1. Education in Creative Technology has design as focus, technology forms part of a toolbox and is not a goal in its own. This results in a shift of learning goals for technology education wrt “classical” engineering. Students should be able to apply technology in a creative way, as material increasing their expressiveness. To this end, teaching methods are needed that stimulate students to actively integrate technology in their personal toolboxes. Students need to become owner of their learning process, driven by curiosity with failure as important source of progress.
    An ongoing challenge is that design subjects are inherently feedback intensive, and not scalable straightforwardly. We have to identify teaching methods that allow to provide quality for the students minimising overhead, by, e.g., giving students a more active role.

    - Nov 2018 article "meet the teacher" in U-today magazine  (University of Twente - in Dutch)
    - Oct 2018 Teaching Award for Best Practices in Informatics by Informatics Europe for Tinkering in Informatics as a Teaching Method (together with Ansgar Fehnker and Alma Schaafstal)
    - June 2017 article in A Tribute to Excellent Teachers by the faculty of Electrical Engineering, Mathematics and Computer Science.

  2. The method of Creative Technology is in the first place user centered, most often starting from a user problem, only sometimes having technology as a starting point (“how can this technology be used for a user application?”). It has phases of divergence and convergence, at the same time iterating on building and evaluating prototypes in short cycles. User experience is a crucial aspect, next to functionality. Accordingly, user evaluations during the prototyping phase and at the end of the design process are standard. The tasks here are to identify, illustrate and justify this design process, making it part of a definition of Creative Technology as a new field of its own. It is also a step in making the contribution, perspective and questions of Creative Technology as scientific and design discipline in a context of its neighbouring disciplines, such as Interaction Design, Human Media Interaction, Industrial Design, Computer Science or Electrical Engineering.

Wearable Technology

  1. Actuators in wearables are much less investigated than sensors. What kind of feedback is possible? What, if we do not want full led-illumination? There is a playground to explore, defined by personal space, fashion aspects, low cognitive load, context sensitivity, application domains and more.
  2. Coaching and feedback. Wearables are close to our skin, feedback can be very direct and have higher impact by working more physically than cognitive (like statistics on the smartphone). What kind of feedback is necessary to have impact, without being annoying, is one of the questions to address here.
  3. Interaction paradigms of wearables are still too much derived from computer interaction and smart phones. What we are interested in are interaction paradigms that take our normal movements and interaction with garment into account, like in the example where pulling the sleeves over the wrists switches on the heating.

Projects in Wearable Technology:

        -> textile reflexes at ars electronica 2019

Teaching

Current courses within Creative Technology

module 1: Programming with Processing (with A. Fehnker)
module 2: Programming and Physical Computing (with E. Dertien)
module 4: Algorithms in Creative Technology
module 6: Programming for Interaction (with A. Fehnker)
module 8: Hybrid Worlds (project)
pre-TOM: Creative Exploration of Art, Science and Technology (project)

within the master programme Interaction Technology:
Mastering Tinkering (with Edwin Dertien)

Past courses

Introduction to Computer Science
Programming with Structures
Real Time Systems 2
Distributed and Concurrent Programming
Codesign Project
Computer Architecture

Publications

Jump to: 2024 | 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2016 | 2015 | 2014 | 2013 | 2012 | 2011 | 2010 | 2009 | 2008 | 2007

2024

Psychophysics data of apparent motion and funnelling illusions by pressure (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Henell, E., Weda, J., Cedermalm, S., Eklöv, L., Håkansson, M., Nordström, J., Reibring, M., Stålhand, J., Mader, A. H. & Persson, N.-K.https://doi.org/10.4121/4d7f9e12-60eb-4e43-ad76-a6a371792308Touch by textile: Perception and experience of pressure touch by textile actuators on the arm (2024)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Weda, J.https://doi.org/10.3990/1.9789036563079Psychophysics data of soft pressure by textile for young adults to determine the perception thresholds of force, pressure and reduction (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Weda, J. & Mader, A. H.https://doi.org/10.4121/f02e1d4f-bf35-4ba6-92a4-36beef3edfb9Requirements for an Automated Assesment Tool for Learning Programming by Doing (2024)[Dataset Types › Dataset]. Zenodo. Mader, A., Rump, A. & Zaytsev, V.https://doi.org/10.5281/zenodo.13992349Pressure Stimuli and Spatiotemporal Illusions on the Forearm (2024)IEEE transactions on haptics (E-pub ahead of print/First online). Henell, E., Weda, J., Cedermalm, S., Eklöv, L., Håkansson, M., Nordström, J., Reibring, M., Stålhand, J., Persson, N.-K., Mader, A., van Erp, J. B. F. & Jager, E. W. H.https://doi.org/10.1109/TOH.2024.3399394Psychophysics data for determining the effect of actuation speed on pressure, force and reduction thresholds (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Weda, J. & Mader, A.https://doi.org/10.4121/d93d3dc1-10bd-4ada-8d51-02d217a8e31dPerception Threshold for Pressure by a Soft Textile Actuator (2024)IEEE transactions on haptics, 1-12 (E-pub ahead of print/First online). Weda, J., Mader, A., Souri, H., Dertien, E. & van Erp, J.https://doi.org/10.1109/TOH.2024.3370835WEAFING psychophysics (2024)[Dataset Types › Dataset]. 4TU.Centre for Research Data. Mader, A. H. & Weda, J.https://doi.org/10.4121/812de164-6c17-42af-ad44-f5c4d65c611a

2023

The Effect of Actuation Speed on the Perception Threshold of a Squeezing Soft Actuator (2023)IEEE transactions on haptics, 16(4), 574-579. Weda, J., van Erp, J. B. F. & Mader, A. H.https://doi.org/10.1109/TOH.2023.3273774Systematic modelling of embedded systems: Managing non-formal aspects (2023)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Marincic, J.https://doi.org/10.3990/1.9789036557580Tinkering with Social Touch Technology (2023)Frontiers of Computer Science, 5. Article 848023. Mader, A. H., Weda, J., Dertien, E. C. & van Erp, J. B. F.https://doi.org/10.3389/fcomp.2023.848023Textured materials can enhance tactile actuators for emotional expression and passive touch experiences (2023)[Contribution to conference › Other] CHI Conference on Human Factors in Computing Systems, CHI 2023. Weda, J., Mader, A. H., van Schaik, M., Meijer, A., Kolesnyk, D. & van Erp, J. B. F.https://rca-media2.rca.ac.uk/documents/3._CHI23_Judith.pdfBreatheWithMe: Exploring Visual and Vibrotactile Displays for Social Breath Awareness during Colocated, Collaborative Tasks (2023)In CHI EA '23: Extended Abstracts of the CHI Conference on Human Factors in Computing Systems (pp. 1-8). Article 58. Association for Computing Machinery. Ali, A. E., Stepanova, E. R., Palande, S., Mader, A., Cesar, P. & Jansen, K.https://doi.org/10.1145/3544549.3585589

2022

Experiencing touch by technology (2022)In Haptics: Science, Technology, Applications: 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022, Hamburg, Germany, May 22–25, 2022, Proceedings (pp. 110-118) (Lecture Notes in Computer Science; Vol. 13235). Springer. Weda, J., Kolesnyk, D., Mader, A. H. & van Erp, J. B. F.https://doi.org/10.1007/978-3-031-06249-0_13Evoking Emotion In Mediated Social Touch Using 3D-Printed Textures On Textile (2022)[Contribution to conference › Poster] Society for Affective Science Annual Conference, SAS 2022. Weda, J., van Schaik, M., Kolesnyk, D., Mader, A. H. & van Erp, J. B. F.Augmenting garments: from textile exoskeleton to haptic clothing (2022)[Contribution to conference › Abstract] 24th Electroactive Polymer Actuators and Devices, EAPAD 2022. Jager, E. W. H., Hennell, E., Weda, J., Mader, A. H., van Erp, J. B. F. & Persson, N.-K.Demo: Mckibben haptic sleeve (2022)[Contribution to conference › Other] 13th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2022. Weda, J., Hennell, E., Reibring, M., Cedermalm, S., Eklöv, L., Håkansson, M., Nordström, J., Dertien, E. C., Mader, A. H., Jager, E. W. H. & van Erp, J. B. F.

2021

Atelier – Tutor Moderated Comments in Programming Education (2021)In Technology-Enhanced Learning for a Free, Safe, and Sustainable World (pp. 379-383) (Lecture Notes in Computer Science; Vol. 12884). Springer. Fehnker, A., Mader, A. H. & Rump, A.https://doi.org/10.1007/978-3-030-86436-1_39Automated Assessment of Learning Objectives in Programming Assignments (2021)In Intelligent Tutoring Systems: 17th International Conference, ITS 2021, Virtual Event, June 7–11, 2021, Proceedings (pp. 299-309) (Lecture Notes in Computer Science; Vol. 12677). Springer. Rump, A., Fehnker, A. & Mader, A.https://doi.org/10.1007/978-3-030-80421-3_33Atelier Hands-On Training (2021)[Non-textual form › Digital or Visual Products] ICAB conference 2020. Blaas, R., Fehnker, A. & Mader, A. H.https://www.oercommons.org/courseware/lesson/81318Touch by an untrustworthy agent in a negotiation setting reduces compliance (2021)[Book/Report › Report]. University of Twente. Kolesnyk, D., Sallaberry, C., Mader, A. H. & van Erp, J. B. F.https://doi.org/10.3990/1.9789036551953

2020

Atelier voor Creatief Programmeren (2020)[Non-textual form › Digital or Visual Products] SURF onderwijsdagen 2020. SURF. Fehnker, A., Mader, A. H., Rump, A., Rutgers, M. & Steenmeijer, L.https://www.youtube.com/watch?v=YY5uVYpuaswTowards textiles as haptic actuators: a collaboration between textile and perception research (2020)[Contribution to conference › Poster] 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020. Weda, J., Backe, C., Persson, N.-K., Mader, A. H. & van Erp, J. B. F.Demo: Setup for psychophysical experiments to determine the perception threshold of pressure by a textile actuator (2020)[Contribution to conference › Other] 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020. Weda, J., van Geel, J. G. J. A., van Erp, J. B. F., Mader, A. H. & Dertien, E. C.Workshop paper: Textile touch: electroactive textile in wearable haptic displays (2020)[Contribution to conference › Other] 12th International Conference on Human Haptic Sensing and Touch Enabled Computer Applications, EuroHaptics 2020. Weda, J., van Erp, J. B. F. & Mader, A. H.Atelier for Creative Programming - Poster Video (2020)[Non-textual form › Digital or Visual Products] 12th International Conference on Computer Supported Education, CSEDU 2020. Fehnker, A. & Mader, A. H.Atelier for Creative Programming (2020)[Contribution to conference › Abstract] 12th International Conference on Computer Supported Education, CSEDU 2020. Fehnker, A. & Mader, A.Tinkering in Informatics as Teaching Method (2020)[Contribution to conference › Paper] 12th International Conference on Computer Supported Education, CSEDU 2020. Mader, A. H., Fehnker, A. & Dertien, E. C.https://doi.org/10.5220/0009467304500457Atelier – Support for Creative Programming Education (2020)[Non-textual form › Digital or Visual Products] ICAB conference 2020. Eindhoven University of Technology. Fehnker, A. & Mader, A. H.https://www.youtube.com/watch?v=M_YCjhbpmGQAtelier: An Online Platform for Programming Tutorials (2020)In Proceedings of the 9th Computer Science Education Research Conference (CSERC '20). Association for Computing Machinery. Fehnker, A., Mader, A., Rump, A., Rutgers, M., Steenmeijer, L. & Witteveen, C.https://doi.org/10.1145/3442481.3442511How can technology enhanced learning improve the efficiency and quality of help seeking and giving for programming tutorials? (2020)In Engaging, Engineering, Education: Book of Abstracts, SEFI 48th Annual Conference University of Twente (online), 20-24 September, 2020 (pp. 679-688). University of Twente. Breymann, L. E. I., Mader, A. H. & Kok, H. M.

2018

Contract-based specification of embedded control systems (2018)[Thesis › PhD Thesis - Research UT, graduation UT]. University of Twente. Oguz, O.https://doi.org/10.3990/1.9789036544979Textile waste and haptic feedback for wearable robotics (2018)[Contribution to conference › Paper] Design Research Society 2018. van Rees, H., Mader, A. H., Smits, M., Ludden, G. D. S. & Lamontagne, V.

2016

Tinkering as Method in Academic Teaching (2016)In DS 83: Proceedings of the 18th International Conference on Engineering and Product Design Education (pp. 240-245). Mader, A. H. & Dertien, E. C.https://www.designsociety.org/publication/39073/tinkering_as_method_in_academic_teaching

2015

Single value devices (2015)International Journal of Arts and Technology, 8(3), 249-277. Mader, A., Dertien, E., Kolkmeier, J. & Reidsma, D.https://doi.org/10.1504/IJART.2015.071209

2014

A Design Process for Creative Technology (2014)In Proceedings of the 16th International conference on Engineering and Product Design, E&PDE 2014 (pp. 568-573) (E&PDE). The Design Society. Mader, A. H. & Eggink, W.https://www.designsociety.org/publication/35942/a_design_process_for_creative_technologyHow to educate for creativity in creative technology? (2014)[Contribution to conference › Paper] 16th International Conference on Engineering and Product Design, E&PDE 2014. Bohemia, E., Mader, A. H., Eger, A. O., Dertien, E. C., Eggink, W., Parkinson, B., Wits, W. W. & Kovacevic, A.https://www.designsociety.org/publication/35941/how_to_educate_for_creativity_in_creative_technologySingle value devices (2014)In Schnittstellen, Die Gegenwart des Abwesenden (pp. 65-87) (Schriftenreihe der Isa Lohmann-Siems Stiftung). Reimer Verlag GmbH, Berlin. Mader, A. H., Reidsma, D. & Dertien, E. C.http://eprints.eemcs.utwente.nl/secure2/25740/02/06_Mader_et_al_SingleValueDevices_7.pdf

2013

Reusing knowledge in embedded system modelling (2013)Expert systems, 30(3), 185-199. Marincic, J., Mader, A. H., Wieringa, R. J. & Lucas, Y.https://doi.org/10.1111/j.1468-0394.2012.00631.x

2012

Single Value Devices (2012)In Proceedings of the 4th International ICST Conference on Intelligent Technologies for Interactive Entertainment (INTETAIN 2011), Revised Selected Papers (pp. 38-47) (Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering; Vol. 78). Springer. Mader, A. H., Dertien, E. C. & Reidsma, D.https://doi.org/10.1007/978-3-642-30214-5Schedulability analysis of timed CSP models using the PAT model checker (2012)In Communicating Process Architectures 2012 (pp. 65-88). Open Channel Publishing Ltd. Oguz, O., Broenink, J. F. & Mader, A. H.https://www.persistent-identifier.nl/urn:nbn:nl:ui:28-83355Explaining Embedded Software Modelling Decisions (2012)In IEEE CS International Conference on Software Science, Technology, and Engineering, SWSTE 2012 (pp. 80-89). IEEE. Marincic, J., Mader, A. H. & Wieringa, R. J.https://doi.org/10.1109/SWSTE.2012.18Making a Toy Educative Using Electronics (2012)In 9th International Conference on Advances in Computer Entertainment, ACE 2012 (pp. 477-480) (Lecture Notes in Computer Science; Vol. 7624). Springer. Dertien, E., Dijkstra, J. & Mader, A. H.https://doi.org/10.1007/978-3-642-34292-9_39

2011

Validation of Embedded System Verification Models (2011)In Proceedings of Model-Driven Requirements Engineering Workshop (MoDRE) (pp. 48-54). IEEE. Marincic, J., Mader, A. H. & Wieringa, R. J.https://doi.org/10.1109/MoDRE.2011.6045366Single Value Devices (2011)[Book/Report › Report]. Centre for Telematics and Information Technology (CTIT). Mader, A. H., Dertien, E. C. & Reidsma, D.

2010

Synthesis and stochastic assessment of cost-optimal schedules (2010)International journal on software tools for technology transfer, 12(5), 305-317. Mader, A., Bohnenkamp, H., Usenko, Y. S., Jansen, D. N., Hurink, J. & Hermanns, H.https://doi.org/10.1007/s10009-009-0129-yStructuring Problem Analysis for Embedded Systems Modelling (2010)In International Workshop on Applications and Advances of Problem-Orientation (IWAAPO) (pp. -). IARIA. Marincic, J., Mader, A. H., Wieringa, R. J. & Lucas, Y.http://problemoriented.wikispaces.com/file/view/IWAAPO+Proceedings.pdf

2009

A Handbook Supporting Model-Driven Software Development - a Case Study (2009)[Book/Report › Report]. Centre for Telematics and Information Technology (CTIT). Marincic, J., Mader, A. H. & Wieringa, R. J.

2008

A Taxonomy of Modelling Decisions for Embedded Systems Verification (2008)[Book/Report › Report]. Centre for Telematics and Information Technology (CTIT). Mader, A. H., Wupper, H., Boon, M. & Marincic, J.Modelling Embedded Systems by Non-Monotonic Refinement (2008)[Book/Report › Report]. Centre for Telematics and Information Technology (CTIT). Mader, A. H., Marincic, J. & Wupper, H.Classifying Assumptions Made During Requirements Verification of Embedded Systems (2008)In Requirements Engineering: Foundation for Software Quality, 14th International Working Conference, REFSQ 2008 (pp. 141-146). Article 10.1007/978-3-540-69062-7_14 (Lecture notes in computer science; Vol. 5025). Springer. Marincic, J., Mader, A. H. & Wieringa, R. J.https://doi.org/10.1007/978-3-540-69062-7_14Non-monotonic modelling from initial requirements: a proposal and comparison with monotonic modelling methods (2008)In IWAAPF '08: Proceedings of the 3rd international workshop on Applications and advances of problem frames (pp. 67-73). Association for Computing Machinery. Marincic, J., Mader, A. H., Wupper, H. & Wieringa, R. J.https://doi.org/10.1145/1370811.1370825

2007

Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks (2007)In Integrated Formal Methods: 6th International Conference, IFM 2007, Oxford, UK, July 2-5, 2007. Proceedings (pp. 253-272) (Lecture Notes in Computer Science; Vol. 4591). Springer. Fehnker, A., van Hoesel, L. & Mader, A. H.https://doi.org/10.1007/978-3-540-73210-5_14Obtaining Formal Models through Non-Monotonic Refinement (2007)[Book/Report › Report]. Centre for Telematics and Information Technology (CTIT). Marincic, J., Wupper, H., Mader, A. H. & Wieringa, R. J.Modelling and Verification of the LMAC Protocol for Wireless Sensor Networks (2007)[Book/Report › Report]. Centre for Telematics and Information Technology (CTIT). Fehnker, A., van Hoesel, L. & Mader, A.The Construction of Verification Models for Embedded Systems (2007)[Book/Report › Report]. Centre for Telematics and Information Technology (CTIT). Mader, A. H., Wupper, H. & Boon, M.Capturing Assumptions while Designing a Verification Model for Embedded Systems (2007)[Book/Report › Report]. Centre for Telematics and Information Technology (CTIT). Marincic, J., Mader, A. H. & Wieringa, R. J.Timed Analysis of Security Protocols (2007)Journal of computer security, 15(6), 619-645. Corin, R. J., Etalle, S., Hartel, P. H. & Mader, A. H.https://doi.org/10.3233/JCS-2007-15603