Development and application of formal methods techniques to ensure the quality of transpiled code for edge computing applications.
Research Scientist
NASA LaRC
Member of the NASA Langley Formal Methods Team (Safety Critical Avionics Systems Branch).
Development of new tools for the formal verification and analysis of safety-critical avionics applications.
Main developer of the PRECiSA and ReFlow tools.
Recepient of the 2021 NASA Group Achievement Award for outstanding contributions verifying the Compact Position Reporting Algorithm to support safety of Automatic Dependent Surveillance-Broadcast in the National Airspace System.
Postdoctoral Researcher
University of Malaga
Member of the Mobile Systems and Software Reliability (MORSE) team.
Development of an abstract interpretation framework for the verification of hybrid concurrent constraint programs (hy-tccp).
PhD Student
University of Udine
Development of an abstract interpretation framework for the verification of temporal concurrent constraint programs (tccp).
Research on abtract interpretation and semantics of progamming languages.
Researcher
Technical University of Valencia
Design of a denotational semantics framework for the verification of temporal concurrent constraint programs (tccp).