معرفی
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.
۰مقاله ثبتشده
Ivan Kurtev در جاهای دیگر
جستجوهای مرتبط
شاید اینها هم به کارتان بیاید
- LLuca Di StefanoVienna University of Technology · پژوهشگر
Olav BunteEindhoven University of Technology · مدرس
Rachida DssouliConcordia University · استاد- JJialong LiWaseda University · استادیار
Jaap C.S.P. van der WoudeEindhoven University of Technology · مدرس- LLouis C.M. van GoolEindhoven University of Technology · پژوهشگر