Ivan Perez
Principal Research Scientist at KBR Inc @ NASA Ames Research Center
San Jose, California, United States
Summary
👤
Senior🎓
Top SchoolIvan Perez is a Principal Research Scientist and software architect with over two decades of professional experience, currently leading runtime monitoring and interoperability projects at NASA Ames through KBR. He specializes in functional programming (Haskell, Scala) and formal methods, having invented Ogma and led the Copilot monitoring language now used in experimental drone flights and integrated with NASA flight software. Ivan blends deep research credentials—a PhD in Computer Science and an MSc in Computational Logic—with hands-on engineering, steering multicenter efforts around NASA's Core Flight System. He's published, organized major conferences, and secured DARPA-funded work on formal verification for distributed vehicle swarms and orbital collision avoidance. Comfortable in high-responsibility technical and advisory roles, he holds work rights in the US and EU and brings an unusual mix of astronautic interest, public speaking, and adventurous pursuits (diving and skydiving) that reflect a propensity for high-stakes systems.
9 years of coding experience
19 years of employment as a software developer
Doctor of Philosophy (PhD) Computer Science, Doctor of Philosophy (PhD) Computer Science at University of NottinghamMaster's degree Computational Logic, Master's degree Computational Logic at Universidad Politécnica de Madrid
English, Galician, Spanish, Ukrainian, Italian, Portuguese
Github Skills (21)
bootstrap10
perfect10
docker-image10
css10
java10
hibernate10
sts10
dockerfile10
spring-boot10
javascript9
spring-security9
docker9
sql9
nodejs9
angular9
Programming languages (3)
Github contributions (5)
IvanPerez9/FitURJC
Jan 2018 - Sep 2022
If you want a online gym, this is the perfect page. You have some filters and inputs fields in order to find your perfect routine.
Contributions:5 releases, 203 commits, 3 PRs in 4 years 8 months
jsdocker-imageperfectgymsts
IvanPerez9/Programming-Paradigms
Sep 2018 - Jul 2020
Contributions:233 commits, 187 pushes, 1 branch in 1 year 10 months
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.