Please complete the CAPTCHA to continue
@nottingham.ac.uk
✓
LinkedIn matched
A concise factual answer block for searchers comparing this professional profile.
Ivan Perez is listed as Principal Research Scientist @ KBR / NASA Ames Research Center | Functional programmer | Software architect | Public Speaker | PhD at KBR Inc @ NASA Ames Research Center, based in San Jose, California, United States. AeroLeads shows a work email signal at nottingham.ac.uk and a matched LinkedIn profile for Ivan Perez.
Ivan Perez previously worked as Principal Research Scientist at Kbr Inc @ Nasa Ames Research Center and Senior Research Scientist at Kbr Inc @ Nasa Ames Research Center. Ivan Perez holds Doctor Of Philosophy (Phd), Computer Science from University Of Nottingham.
This section adds company-level context without repeating Ivan Perez's masked contact details.
AeroLeads found 1 current-domain work email signal for Ivan Perez. Compare company email patterns before reaching out.
Scientist, Researcher, Software Architect, Public Speaker• Full-time, Principal Research Scientist Contractor for NASA Ames Research Center• Software Developer Specialized in Functional Programming (Haskell, Scala, etc.)• 22y of professional experience in CS roles, including multiple leadership / management roles.• Public Speaker• PhD in Computer Science• MSc in Computational Logic• Engineer in Computer Science• Diver• Skydiver• Right to work in USA (LPR / Green Card) and Europe (EU / European Economic Area)Interested in:• High-responsibility Roles (CTO, VP, Chief Software Architect, Principal Software Architect)• Professional / Citizen Scientist Astronaut Positions• Advisory Roles (Board of Directors, External Advisor)• Public SpeakingFor an up-to-date CV, see https://ivanperez.io/cv.pdf and https://ivanperez.io/cv-extended.pdf.
Listed skills include Programming, Haskell, Software Development, Java, and 49 others.
Company context helps verify the profile and gives searchers a useful next step.
A career timeline built from the work history available for this profile.
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)..
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.
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)..
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.
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.
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++.
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.
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).
Quick answers generated from the profile data available on this page.
Ivan Perez works for KBR Inc @ NASA Ames Research Center.
Ivan Perez is listed as Principal Research Scientist @ KBR / NASA Ames Research Center | Functional programmer | Software architect | Public Speaker | PhD at KBR Inc @ NASA Ames Research Center.
AeroLeads has found 1 work email signal at @nottingham.ac.uk for Ivan Perez at KBR Inc @ NASA Ames Research Center.
Ivan Perez is based in San Jose, California, United States while working with KBR Inc @ NASA Ames Research Center.
Ivan Perez has worked for Kbr Inc @ Nasa Ames Research Center, National Institute Of Aerospace, Keera Studios, Cubilabs, and University Of Twente.
You can use AeroLeads to view verified contact signals for Ivan Perez at KBR Inc @ NASA Ames Research Center, including work email, phone, and LinkedIn data when available.
Ivan Perez holds Doctor Of Philosophy (Phd), Computer Science from University Of Nottingham.
Ivan Perez is listed with skills including Programming, Haskell, Software Development, Java, Oop, Linux, Computer Science, and Software Engineering.
Search by job title, company, industry, location, and seniority. Export verified B2B contact data when you need it.
Start free trial Search contacts