Jeremías Sauceda Email & Phone Number

Des Moines, Iowa Area

As CTO I am responsible for both developing and marketing new technology for EnSoft as well as transferring technology developed at other research groups. This has given me exposure to how large companies develop production software as well as deep collaboration with academic researchers and advanced technology groups in industry.Technical- SimDiff, used by every major aerospace, automotive, and defense company world-wide, including NASA, Lockheed Martin, Northrop Grumman, Ford, Chrysler, Airbus, Toyota, Honda, Mazda, and 400 others.- Atlas, a platform for quickly building program analysis and comprehension tools- Modelify, automatic conversion of legacy C code into Simulink models- Scalable (running on a cluster) COBOL data flow analysis for aiding in application modernization for Principal Financial, Wells-Fargo, and Nationwide Insurance- Analyzer to check Boeing 737 autopilot code written in Ada for calculation errors- Analyzer to check Boeing 787 instrument display code written in C for calculation errors- Managed development of tools for analysis of control systems software written in Simulink for Toyota- Explained mysterious performance bottleneck in sensor data processing code for Boeing 787. Discovered that the processor’s behavior for prefetching code pages was undocumented. Deep knowledge of PowerPC architecture was needed to design surgical test cases to uncover the actual behavior.Business & Process- Expanded EnSoft into Japanese Market- Worked in team to successfully defended EnSoft’s SimDiff product in a patent infringement case filed by National Instruments, lasting nearly 5 and a half years- Designed and implemented scalable customer relationship management process using Salesforce.com- Expanded Japan model to provide sales and support in German, Chinese, Korean, Spanish, French, and Italian- Modernized company IT infrastructure to reduce labor costs- Interviewed, trained, and managed engineers and business operations staff

The DARPA Cyber Assured Systems Engineering (CASE) program aims to develop the necessary design, analysis and verification tools to allow system engineers to design-in cyber resiliency in embedded systems found in critical infrastructure, vehicles, smart devices, and military systems; and manage tradeoffs as they do other nonfunctional properties when designing complex embedded computing systems. Cyber resiliency means the system is tolerant to cyberattacks in the same way that safety critical systems are tolerant to random faults—they recover and continue to execute their mission function.

Joint Iowa State University-EnSoft Corp. project, awarded $4,648,672.The Space/Time Analysis for Cybersecurity (STAC) program aims to develop new program analysis techniques and tools for identifying vulnerabilities related to the space and time resource usage behavior of algorithms, specifically, vulnerabilities to algorithmic complexity and side channel attacks. STAC seeks to enable analysts to identify algorithmic resource usage vulnerabilities in software at levels of scale and speed great enough to support a methodical search for them in the software upon which the U.S. government, military, and economy depend.

Joint Iowa State University-EnSoft Corp. project, awarded $4,137,198. Top Performing Phase I DARPA APAC Team, recognized by the DARPA Program Manager at the Joint DARPA PI Meeting, July 23, 2013, Stevenson, Washington.The DARPA Automated Program Analysis for Cybersecurity program seeks to develop new automated program analyses capable of proving that programs have security properties of interest to the Department of Defense (DoD), and to demonstrate those analyses in the form of tools designed specifically to keep malicious code out of DoD Android-based mobile application marketplaces.

Des Moines, Iowa Area

DARPA Software Enabled Control program- Scalable C/C++ safety property analysis in a cluster applied to Boeing Open Control Platform (450 thousand lines of C++ code)- Design of eXtensible Common Intermediate Language, a semantically rich common representation to enable one to write language-independent static analyzers- C/C++ XCIL front end using the Edison Design Group front-endDesigned labs for a 300-level operating system course. Labs focused on real-world industry problems using the Linux Kernel source code.Implemented various graph layout algorithms to visualize static analysis results

Was responsible for supporting, updating, and building gold master for High-Performance Computing version of Yellow Dog Linux used for PowerPC clusters at NASA and other research institutions. Responsibilities included ensuring that:- kernel updates did not break support of HPC features- GCC updates did not break vectorization support- automatic vectorizing compilers were well supported

Electrical Engineering

300-400-level coursework in Physics, Mathematics, and Electrical Engineering including: Modern Physics, Electromagnetics, Complex.

Nutrition, Healthcare Administration

Nutritional Science / Pre-Med

Computer Science

Focused on computer graphics, microarchitecture, compilers, operating systems, and object oriented design. Equivalent of bachelor's degree.

Computer Programming

Taught self how to program from college text at age 6. Focused on business logic and basic computer graphics in following years. Wrote.

New Jersey Governor'S School Of Public Issues