Alessandro Pinto
Autonomy Assurance Lead
Alessandro Pinto
NASA JPL
About
I am the Autonomy Assurance Lead in the Office of Safety and Mission Success at the NASA Jet Propulsion Laboratory. I develop processes and computer-assisted tools that use rigorous methods to deliver, operate, and maintain dependable and trusted autonomous systems.
My work sits at the intersection of embedded systems, artificial intelligence, formal methods, and design automation, with the goal of increasing the level of autonomy of space systems.
Research interests
High-assurance autonomy
Engineering methods, processes, and tool for dependable autonomous systems in safety- and mission-critical applicaitons.
Formal and model-based methods
Architectures, specifications, analysis, verification, and synthesis for complex cyber-physical systems.
Artificial Intelligence in engineering
How do we best use artifical intelligence in tool development, embedded software, assurance, and operations.
Experience
2022–present
Autonomy Assurance Lead
NASA Jet Propulsion Laboratory, California Institute of Technology · Pasadena, California
Development of processes, methods, and tools to engineer dependable autonomous systems for space exploration.
2022–present
Associate Adjunct Professor of Electrical and Computer Engineering
University of California, Santa Cruz · Santa Cruz, California
Research on formal methods for the analysis of cyber-physical systems.
2018–2022
Technical Fellow, Embedded Autonomous Systems
Raytheon Technologies Research Center · Berkeley, California
Research roadmaps, technical oversight, technology transition, and mentoring.
2014–2017
Associate Director, Research, Autonomous and Intelligent Systems
United Technologies Research Center · Berkeley, California
Technical roadmaps for knowledge representation, reasoning, and distributed autonomous-system architectures.
2008–2014
Staff Engineer, Autonomous and Intelligent Systems & Design Methods
United Technologies Research Center · Berkeley, California
Tools for system design and verification, online reasoning, and decision-making.
Education
Ph.D., Electrical Engineering and Computer Sciences
University of California, Berkeley
M.S., Electrical Engineering and Computer Sciences
University of California, Berkeley
Laurea, Electronic Engineering, summa cum laude
University of Rome “La Sapienza”
Contact
For professional correspondence, email apinto@jpl.nasa.gov. Personal correspondence may be sent to apinto@berkeley.edu.