Ivan Perez has been a Senior Research Scientist in National Institute of Aerospace since 2018. Furthermore, this person has professional experience at more than 12 companies using similar skills. Ivan has a total work experience of 19+ years. Ivan studied at the Nottingham University Business School from 2013 to 2017. Ivan Perez has the certification in Adult Cpr/Aed Ivan Perez is skilled in five languages: English, Spanish, Ukrainian, Italian, and Portuguese. Ivan Perez can be found in Los Gatos, California – where this expert is currently located. You can find this expert's actual email address and phone number through our search.
Name variants:
Ivan Perez
Last updated Oct 14, 2024
Contact Information
Last Update
Jul 13, 2022
Email
iv**@nottingham.ac.uk, iv**@gmail.com
Location
Los Gatos, CA
Company
Workplace
Colleagues
Work History
Senior Research Scientist
100 Exploration Way, Hampton, VA 23666
Research Contractor at NASA Langley Research Center & Member of the NASA / NIA Formal Methods Group. Research on Formal Methods, Fault Tolerance, Testing, V&V, Dependent Types, FRP, Distribu...
from Jan 2018
Founder Ltd | Phd Student at Nottingham University | Fp Enthusiast
Haskell software developer focusing on games and desktop, iOS, Android and web applications using. Researcher on formal proofs of software properties. Completed several games, game engines, ...
Jun 2011 — Dec 2017
Co-Founder and Geek
Cubilabs.com was a company dedicated to secure communications and hosting. It provided secure hosting services, IT support and developed mobile applications for secure payment and authentica...
Apr 2013 — Apr 2015
Researcher
Predoctoral researcher working on modelling hybrid systems using functional languages and, in particular, Functional Reactive Programming.
May 2013 — Nov 2013
Research Assistant
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.
Apr 2012 — Aug 2012
Software Developer and Associate Researcher
Software development of a parser generator called MTP written in Java and targeting Java & Haskell.
Sep 2007 — Mar 2010
Researcher
Reseracher on ontologies to describe knowledge about component-based web mashups. Software development of tools to support my research.
Oct 2007 — Dec 2009
Internship
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 spec...
Apr 2003 — Sep 2007
Education
2013 — 2017
2008 — 2009
2008 — 2008
Occupations
Scientist
Research Scientist
Contractor
IT Professional
Computer Software Professional
Executive
Owner
Founder
Independent Business Owners
Software Developers
Chief Executive
Founding Member
Skills
Programming
Haskell
Software Development
Java
Oop
Linux
Computer Science
Software Engineering
Algorithms
Git
Artificial Intelligence
Mobile Applications
Game Development
Python
Mysql
Open Source
Functional Programming
C
Android Development
Research
Uml
Entrepreneurship
Ios Development
Product Development
Game Design
Linux Server Administration
Network Administration
Research and Development
Project Management
Software Project Management
Public Speaking
Teamwork
Concurrent Programming
Prolog
Natural Language Processing
Latex
Subversion
Parsing
Compiler Design
Formal Languages
Cryptography
Eclipse
Formal Methods
Cross Platform Development
Opencv
Ontology Engineering
Gtk
Ada
Haxe
Windows
Web Design
Cms
Javacc
FAQs about Ivan Perez
What is the profession of Ivan Perez?
This professional's job is Senior Research Scientist
What are the profession of The professional?
These person's professions are Scientist and Research Scientist
Where is Ivan Perez located?
The expert is currently located in Los Gatos, California.
Does Ivan Perez have the email address?
iv**@nottingham.ac.uk and iv**@gmail.com is Ivan Perez's email address.
Where did Ivan Perez work?
Ivan Perez worked at National Institute of Aerospace, Keera Studios.
Where has Ivan Perez studied?
Ivan studied at the Nottingham University Business School from 2013 to 2017.
Are there any certifications, that Ivan Perez has?
The professional received the following certifications: Adult Cpr/Aed.
What languages does Ivan Perez speak?
Ivan Perez speaks English, Spanish, Ukrainian, Italian, and Portuguese.