Software engineer with research experience in safety-critical, distributed, embedded, real-time systems, and development and validation expertise on operational projects, including the onboard control software of spacecrafts.
Committee member of ISO SC 22/WG 23 for Programming Language Vulnerabilities, participating in TR-24772 "Guidance to avoiding vulnerabilities in programming languages through language selection and use." Committee member of ISO Spanish delegation about programming languages at AENOR. Member of Ada Standards Committee (AEN 71/SC 22/WG 9).
Program committee member of International Conference on Reliable Software Technologies (Ada-Europe) since 2010, and Exhibition C...
Contact Details
Tags
gmvschedulabilityreal-timertemsvalidationsoftwareeuropean space agencyixvravenscarhigh-integrity
We鈥檝e updated our privacy policy so that we are compliant with changing global privacy regulations and to provide you with insight into the limited ways in which we use your data.
You can read the details below. By accepting, you agree to the updated privacy policy.
