Arend Rensink

Arend Rensink is a Full Professor at the Digital Society Institute and Formal Methods and Tools department, focusing on systems analysis and formal methods. His research spans computer systems, organizational systems, and educational systems, emphasizing model transformations and formal verification. He contributes to railway industry applications, software testing, and model-driven engineering.

Research interests include graph transformation systems, formal verification techniques, and the integration of behavior-driven development with model-based testing. He has collaborated internationally and organized conferences like the Symposium on Model-Ed, Test-Ed, Trust-Ed (2017). His work addresses challenges in software maintainability and organizational change, with notable contributions to railway safety standards and educational technology.

Key activities include organizing academic events, invited talks on software change (e.g., 2018, 2019), and supervising 10 research works. He has contributed datasets on team effectiveness (2022) and railway controller testing (2025). His research outputs span over 245 works, with active involvement in tool development (e.g., GROOVE toolset).