Ivan Perez Email & Phone Number

Research Contractor with KBR Inc assigned to NASA Ames Research Center, and Member of the NASA Formal Methods Group.- Software Lead of the Lunar Command and Control Interoperability Project (LuCCI). - Steering Committee Member and Center Representative for NASA Ames Research Center in the Multicenter Steering Committee for NASA's Core Flight System (cFS).- Technical Lead of the Copilot runtime monitoring language (https://github.com/copilot-language/copilot) used by NASA Langley Research Center for experimental drone flights. Copilot is compliant with NPR7150.2C Class D. Monitors generated by Copilot are being flown at Class C level ("Mission Support Software or Aeronautic Vehicles, or Major Engineering/Research Facility Software").- Technical Lead and inventor of Ogma (http://github.com/NASA/ogma), a transformer from high-level properties/requirements into full monitoring applications in NASA's Core Flight System (cFS), Robot Operating System (ROS), and FPrime.- Carried out research focused on runtime monitoring, robotics, flight software.- Organized scientific conferences, including the IEEE Space Mission Challenges for Information Technology - Space Computing Conference 2024.

Research Contractor with KBR Inc assigned to NASA Ames Research Center, and Member of the NASA Formal Methods Group.- Software Lead of the Lunar Command and Control Interoperability Project (LuCCI). - Technical Lead of the Copilot runtime monitoring language (https://github.com/copilot-language/copilot) used by NASA Langley Research Center for experimental drone flights. Copilot is compliant with NPR7150.2C Class D. Monitors generated by Copilot are being flown at Class C level ("Mission Support Software or Aeronautic Vehicles, or Major Engineering/Research Facility Software").- Technical Lead and inventor of Ogma (http://github.com/NASA/ogma), a transformer from high-level properties/requirements into full monitoring applications in NASA's Core Flight System (cFS), Robot Operating System (ROS), and FPrime.- Carried out research focused on runtime monitoring, robotics, flight software.- Organized multiple conferences, including the IEEE Space Mission Challenges for Information Technology - Space Computing Conference 2023 and 2024, and participated in Program Committees of scientific conferences, like NASA Formal Methods 2023 and 2024.

Research Contractor at NASA Langley Research Center & Member of the NASA Formal Methods Group.- Technical Lead of the Copilot runtime monitoring language (https://github.com/copilot-language/copilot) used by NASA Langley Research Center for experimental drone flights. Copilot is undergoing the process required for NASA Class D compliance (7150.2C).- Technical Lead and inventor of Ogma (http://github.com/NASA/ogma), a transformer from high-level requirements in languages like FRET and Lustre into full monitoring applications in NASA's Core Flight System (cFS) and Robot Operating System (ROS).- Carried out research focused on swarms of distributed vehicles, and formalizing reactive systems using functional languages to obtain machine verified information about fault tolerance and risk analysis.- Carried out research and evaluation of fault tolerance for collision detection and avoidance systems for satellites in Low-Earth Orbit, working in collaboration with NASA LaRC and Air Force Research Lab.- Wrote grant proposals to fund research and attend conferences to disseminate research results (successfully funded by DARPA).

Research Contractor at NASA Langley Research Center & Member of the NASA Formal Methods Group.Research focused on swarms of distributed vehicles, and formalizing reactive systems using functional languages to obtain machine verified information about fault tolerance and risk analysis.Research and evaluation of fault tolerance for collision detection and avoidance systems for satellites in Low-Earth Orbit, working in collaboration with NASA LaRC and Air Force Research Lab.Co-PI of one-year DARPA-funded project to investigate the use of formal methods in combination with modeling languages for systems engineering.Writing grant proposals to fund research and attend conferences to disseminate research results.

Research Contractor at NASA Langley Research Center & Member of the NASA Formal Methods Group.Research focused on swarms of distributed vehicles, and formalizing reactive systems using functional languages to obtain machine verified information about fault tolerance and risk analysis.Research and evaluation of fault tolerance for collision detection and avoidance systems for satellites in Low-Earth Orbit, working in collaboration with NASA LaRC and Air Force Research Lab.Writing grant proposals to fund research and attend conferences to disseminate research results.

Haskell software developer/architect focusing on games and desktop, iOS, Android and web applications using. Researcher on formal proofs of software properties. Completed several games, game engines, desktop applications, compilers, a programming IDE, reasoning engines, server-side and client-side GIS system. Other languages used are Haskell, Java, C/C++, Objective C, Scala and Prolog.On-call Support of Customers of the Cubilabs.com branch of the business.

Cubilabs.com was a startup dedicated to secure communications and hosting. It provided secure hosting services, IT support and developed mobile applications for secure payment and authentication. In 2015, all operations, IP and clients were absorbed by Keera Studios Ltd.

Enschede, Overijssel, Nl

Researcher working on modelling hybrid systems using functional languages and, in particular, Functional Reactive Programming as part of the doctoral program of the University of Twente.Normally, a person in this position would obtain a PhD after 4 years of work and a successful defense of their research, but, unlike PhD studies in other countries, in the Netherlands this is a form of full-time employment with e.g., vacation, medical insurance, retirement contributions, etc.

Freelance developer and contractor working on compilers, debuggers, rule-based systems, formal reasoning frameworks, game engines, game IDEs and mobile apps.Languages used included Java, Prolog, Haskell, Scala, C, Idris.Started in Madrid (ES), continued in Coventry (UK).

Stuttgart, Baden-Württemberg, De

Research assistant working on the SoOSiM project and developing a software prototype in Haskell to visualize the execution of different processes of a Distributed Operating System.

Madrid, Madrid, Es

Software development of a parser generator called MTP written in Java and targeting Java & Haskell.

Madrid, Madrid, Es

Software development of an advanced parser generator called MTP, written in Java targeting Java & Haskell.Developer of the frontend of a compiler for SLAM-SL, an object-oriented formal specification language.

Pozuelo De Alarcon, Madrid, Es

Researcher on ontologies to describe knowledge about component-based web mashups. Software development of tools to support my research.

Madrid, Madrid, Es

President and lead of the Computer Science Commission in charge of maintaining the IT infrastructure for the organization (~120 users).

Doctor Of Philosophy (Phd), Computer Science

Master'S Degree, Computational Logic

Engineer, Computer Science