معرفی
Felipe Gorostiaga is a Post-doctoral Researcher at IMDEA Software Institute, Spain. He holds a PhD from Technical University of Madrid (UPM) and specializes in Formal Methods and Software Engineering. His research focuses on runtime verification systems, stream processing, and formal program verification.
Research interests include development of tools for real-time event stream verification and extensible runtime verification frameworks. His work bridges theoretical formal methods with practical software engineering applications.
۰مقاله منتشرشده
Felipe Gorostiaga در سایتهای دیگر
جستوجوهای مرتبط
شاید اینها هم برایتان مناسب باشند
- FFernando MacíasIMDEA Software Institute · پژوهشگر
- MManuel HermenegildoPolytechnic University of Madrid (UPM) · استاد
Nata StulovaIMDEA Software Institute · پژوهشگر
Martín CeresaIMDEA Software Institute · پژوهشگر- CCesar SanchezIMDEA Software Institute · استاد
- AAlejandro SánchezIMDEA Software Institute · پژوهشگر