معرفی
Federico Olmedo is a post-doctoral researcher at RWTH Aachen University's Software Modeling and Verification Group (MOVES), led by Professor Joost-Pieter Katoen. His research focuses on program semantics and verification, probabilistic programs, security, and interactive theorem proving. He is affiliated with the Faculty of Computer Science and Mathematics within the university.
While no personal academic awards are explicitly mentioned, the MOVES group has achieved notable recognitions, such as Kevin Batz receiving the ETAPS Dissertation Award in 2025 for his work on automated deductive verification. Federico’s research contributes to advancements in formal methods and probabilistic systems analysis.
He is located at Room 4230, Ahornstraße 55, 52074 Aachen, and can be reached via federico.olmedo@cs.rwth-aachen.de. His work integrates theoretical foundations with practical verification techniques, emphasizing interdisciplinary approaches to software reliability.
