About
Ivan Kurtev is an Associate Professor in Mathematics and Computer Science at Eindhoven University of Technology, specializing in software engineering and model-driven technologies. His research develops formal methods for software interface specification, component-based systems, and domain-specific languages.
Recent work (2022-2024) focuses on adaptable runtime monitoring and robotics controller synthesis. Earlier contributions established foundations for model transformation languages (ATL/QVT) and requirements change management. He leads research on the INTERSECT project integrating formal methods for IoT systems.
0Publications listed
Find Ivan Kurtev elsewhere
Related Searches
You Might Also Like
Olav BunteEindhoven University of Technology · Lecturer- LLuca Di StefanoVienna University of Technology · Researcher
- LLouis C.M. van GoolEindhoven University of Technology · Researcher
Rachida DssouliConcordia University · Professor- JJialong LiWaseda University · Assistant Professor
Fabian GILSONUniversity of Namur · Researcher