In 2017, I finished my PhD, under the supervision of Henrik Nilsson and Graham Hutton. 28th ACM SIGPLAN International Conference on Functional Programming (ICFP 2023). 2023. When runtime verification is used to monitor safety-critical systems, it is essential that monitoring code behaves correctly.

• Ivan Perez, Anastasia Mavridou, Thomas Pressburger, Alexander Will, Patrick Martin. Monitoring ROS2: from Requirements to Autonomous Robots. 4th Workshop on Formal Methods for Autonomous Systems.

IVAN PEREZ CONTACT [email protected] ivanperez-keera ivanperezdominguez EDUCATION Ph.D. ComputerScience UoN,UK,2017 MSc. ComputationalLogic UPM,Spain,2009 Eng. ComputerScience UPM,Spain,2008 LANGUAGES Fluent English,Spanish, Galician Adv. Portuguese Interm. Italian,Ukrainian AWARDS DARPA ResearchAward $193K,Co-PI ACM …

2023年7月3日 · Dr. Ivan Perez is a senior research scientist at KBR @ NASA Ames Research Center, and has been a member of the NASA Formal Methods Group since 2018. Perez investigates the application of formal methods to problems in aerospace, with particular focus on runtime verification of unmanned aerial vehicles.

950 Followers, 478 Following, 230 Posts - Ivan Perez (@ivanpvisuals) on Instagram: "Ivan Perez Photographer / Filmmaker. New Jersey and the 🌎."

‪Principal Research Scientist, KBR/NASA ARC. Ex: NASA LaRC, IMDEA, Keera Studios, HLRS, UoN, UPM‬ - ‪‪Cited by 430‬‬ - ‪Functional Reactive Programming‬ - ‪Haskell‬ - ‪Functional...

Iván Pérez Muñoz (born 29 January 1976) is a Spanish former professional footballer who played as a forward. He amassed La Liga totals of 64 games and four goals over eight seasons, representing five clubs including Real Madrid and Deportivo.