Summary
Alessandro Pinto is an autonomy assurance lead and researcher with eight years of focused experience designing architectures, verification methods, and reasoning and planning algorithms for autonomous and embedded systems. Based in Berkeley and holding a Ph.D. from UC Berkeley, he blends academic rigor with applied engineering through dual roles at NASA JPL and UC Santa Cruz while previously shaping industry practice as a Fellow and Technical Fellow at Raytheon and UTC. His work spans knowledge representation, distributed intelligence, and formal methods for multi-agent systems, emphasizing auditable assurance of autonomy in safety-critical domains. Known for turning theoretical methods into practical verification tools, he has a track record of leading cross-disciplinary projects from concept to deployment.
8 years of coding experience
7 years of employment as a software developer
Doctor of Philosophy (Ph.D.), Electrical Engineering and Computer Sciences, Doctor of Philosophy (Ph.D.), Electrical Engineering and Computer Sciences at University of California, Berkeley
Laurea, Electrical Engineering, Laurea, Electrical Engineering at Università degli Studi di Roma 'La Sapienza'
Italian, English