Iván Huete
Software Engineer Backend Developer at Kelea
Madrid, Community of Madrid, Spain
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.
10 years of coding experience
6 years of employment as a software developer
Software Engineering, Computer Software Engineering, Software Engineering, Computer Software Engineering at Universidad Rey Juan Carlos
Spanish, English
Stackoverflow
1reputation
0reached
0answers
0questions
Github Skills (21)
javascript10
docker10
perfect10
bootstrap10
docker-image10
css10
spring-security10
java10
hibernate10
sql10
sts10
dockerfile10
spring-boot10
html10
js10
Programming languages (4)
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.