Alessandro Pinto is the autonomy assurance lead at the NASA Jet Propulsion Laboratory. He has an extensive background in the area of design methodologies, model-based design, and formal approaches to verification and synthesis from system-level specifications to embedded implementation. Since 2010, his focus has been on autonomous systems for the aerospace industry, including the definition of architectures, the implementation of algorithms for decision-making and software agents, and the development of modeling and verification techniques for assurance.
PhD in Electrical Engineering and Computer Sciencies, 2008
University of California, Berkeley
Laurea in Electronic Engineering, 1999
Universita' "La Sapienza", Rome, Italy
Work e-mail : apinto@jpl.nasa.gov
Personal e-mail: apinto@berkeley.edu
UCSC e-mail : alpinto@ucsc.edu