Experience

Technical Fellow, Embedded AI
United Technologies Research Center, Berkeley, CA (April 2018 – Present)
Development of research agendas and roadmaps anticipating business needs; ensuring technical excellence; mentoring others; outreaching and maintaining a network of collaborators in academia and research laboratories; publishing high-quality articles in conferences and journals.

Associate Director, Research, Autonomous and Intelligent Systems
United Technologies Research Center, Berkeley, CA (October 2014 – April 2017) Development of technical roadmaps in the specific areas of knowledge acquisition, reasoning methods, and architectural design of distributed autonomous and intelligent systems; coordinating the transition of technology to business units; proposal writing and project execution.

Staff Scientist/Engineer, Autonomous and Intelligent Systems /Design Methods
United Technologies Research Center, Berkeley, CA (June 2008 – October 2014) Technical lead for the development of computer automation technologies including algorithms and tools for system design, verification, reasoning, decision making, and run-time management. External and internal marketing of new concepts, proposal writing, technical project execution and development of complex software systems. Publication of research results in conference and journal papers.

System Designer (Self-employed)
Rome, Italy (March 2000 – July 2001)
Implementation of system level models of wireless communication systems (customer: Ericsson Lab Italy).

System-on-Chip Designer
Consultant for Ericsson Lab Italy, Rome, Italy (March 1999 – March 2000) Hardware design of components to be integrated into large System-on-Chips; co-simulation of hardware and firmware; testing and validation.

Education

University of California, Berkeley
Ph.D. in Electrical Engineering and Computer Sciences (May 2008)

University of Rome “La Sapienza”, Rome, Italy
Laurea in Electrical Engineering, Summa Cum Laude (1999).

Awards

United Technologies Corporation Outstanding Achievement Award (2015)
Contribution to autonomous vertical flight.

United Technologies Research Center Technical Excellence Award (2017)
Given to one individual as recognition of technical excellence.

Projects

HERMES: Hybrid Efficient Reasoning Method for Explainable and Scalable formal methods
Funded by DARPA I2O under the “Cyber-Assured Systems Engineering (CASE)” program, 2018 – 2022

Autonomous Cargo Handling System (Principal Investigator)
Joint with Collins Aerospace (January 2016 – Present) Development of perception and control architecture and algorithms for introducing intelligence and automation in current cargo handling systems. (Patent #US10005564)

Autonomous Crew Enhancement System (Principal Investigator for UTRC)
Funded by DARPA TTO under “Aircrew Labor In-Cockpit Automation System (ALIAS)”, in collaboration with Sikorsky Aircraft Corporation (2015– 2019)
Development of a system that can be installed in any aircraft to automate tasks and reduce aircrew workload. Leading the development of technologies for knowledge modeling and verification.

Architectures and Algorithms for Autonomous Systems (Principal Investigator)
Funded by the United Technologies Research Center (2011 – Present)
Responsible for the definition of a platform-agnostic and scalable architecture for autonomous systems: design tools (software design and knowledge capturing), logic reasoning and A.I. planning algorithms, contingency management.

Modeling and Verification of Human-Machine Systems (Principal Investigator)
Funded by the United Technologies Research Center (2014) and the Office of Naval Research (2015-2019)
Development of a new class of models and tools for requirement engineering and refinement of autonomous systems; addressing the inadequacies of current methods for high-assurance systems when applied to autonomous and intelligent systems.

Distributed Intelligence (Principal Investigator)
Funded by the United Technologies Research Center (2015 – Present)
Software architectures, implementation and evaluation of decentralized perception and decision making in operational systems.

Contract-Based Development and Deployment (Principal Investigator)
Funded by DARPA STO under the “Communication in Contested Environments (C2E)” program (2014 – 2017)
Development of a new design and deployment system based on the notion of component contracts; management of software deliverables to the Government.

Complex System Design and Analysis (Co-Principal Investigator)
Funded by DARPA TTO under the “Adaptive Vehicle Make” program (Sept. 2010 – Sept. 2011)
Developed a large set of tools for the specification of systems, the automatic generation of design alternatives, and the evaluation of complexity metrics with applications to Unmanned Aerial Vehicles.

Stochastic Analysis and Design of Systems (Principal Investigator)
Funded by DARPA TTO (May 2010 – May 2011)
Development of a software library for the simulation and verification of Discrete Time Stochastic Hybrid Systems.

Stochastic Analysis and Design of Networked Systems (Principal Investigator)
Funded by the United Technologies Research Center (2009 – 2010)
Development of methods for the analysis of distributed control algorithms subject to uncertainty in communication and computation delays, as well possibly other sources of uncertainty due to environmental conditions

Communication Synthesis Infrastructure (Main developer)
University of California, Berkeley (2005-2008)
Developed a complete infrastructure for the specification of communication network optimization problems, and a set of optimization algorithms for their solution.

Patents

[1] Amit Bhatia, Zamira Daw Perez, Alessandro Pinto, Julian C. Ryde, Autonomous cargo handling system and method, US10005564B1, 2017.

Publications

[46] Jha, Susmit, Tuhin Sahai, Vasumathi Raman, Alessandro Pinto, and Michael Francis. “Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae.” Journal of Automated Reasoning (2018): 1-21.

[45] Jha, Susmit, Vasumathi Raman, Alessandro Pinto, Tuhin Sahai, and Michael Francis. “On learning sparse boolean formulae for explaining AI decisions.” In NASA Formal Methods Symposium, pp. 99-114. Springer, Cham, 2017.

[44] Pinto, Alessandro, and Alberto L. Sangiovanni Vincentelli. “CSL4P: A Contract Specification Language for Platforms.” Systems Engineering 20, no. 3 (2017): 220-234.

[43] Srivastava, Siddharth, Stuart Russell, and Alessandro Pinto. “Metaphysics of planning domain descriptions.” In 2015 AAAI Fall Symposium Series. 2015.

[42] Ding, Xuchu Dennis, Brendan Englot, Alessandro Pinto, Alberto Speranzon, and Amit Surana. “Hierarchical multi-objective planning: From mission specifications to contingency management.” In IEEE international conference on robotics and automation (ICRA), pp. 3735-3742. IEEE, 2014.

[41] Pinto, Alessandro, George Mathew. “Computing Probability Distributions over a Hybrid State Space: Case Study and Practical Limitations”, Workshop on Applied Verification for Continuous and Hybrid Systems, 2014

[40] Xu, Songyan, Ratnesh Kumar, and Alessandro Pinto. “Correct-by-construction and optimal synthesis of beacon-enabled ZigBee network.” IEEE Transactions on Automation Science and Engineering 10, no. 1 (2013): 137-144.

[39] Guo, Liangpeng, Alberto Sangiovanni Vincentelli, and Alessandro Pinto. “A complexity metric for concurrent finite state machine based embedded software.” In 2013 8th IEEE International Symposium on Industrial Embedded Systems (SIES), pp. 189-195. IEEE, 2013.

[38] Ding, Xu Chu, Alessandro Pinto, and Amit Surana. “Strategic planning under uncertainties via constrained markov decision processes.” In 2013 IEEE International Conference on Robotics and Automation, pp. 4568-4575. IEEE, 2013.

[37] Cherepinsky, I., and A. Pinto. “Stringent safety design and verification methods for VTOL unmanned aerial vehicles.” In Proceedings of the American Helicopter Society 68th Annual Forum, Fort Worth, TX. 2012.

[36] Pinto, A. “Methods and tools to enable the design and verification of intelligent systems.” AIAA Infotech at Aerospace, 2012.

[35] Leonardi, Francesco, Alessandro Pinto, and Luca P. Carloni. “Synthesis of distributed execution platforms for cyber-physical systems with applications to high-performance buildings.” In -2011 IEEE/ACM Second International Conference on Cyber-Physical Systems_, pp. 215-224. IEEE, 2011.

[34] Mathew, G. and Pinto, A. “Stochastic Analysis and Design of Systems.” Final Report for the V2D2 DARPA Study FA9550-10-C-0116, 2011.

[33] Banaszuk, Andrzej, Vladimir A. Fonoberov, Thomas A. Frewen, Marin Kobilarov, George Mathew, Igor Mezic, Alessandro Pinto et al. “Scalable approach to uncertainty quantification and robust design of interconnected dynamical systems.” Annual Reviews in Control 35, no. 1 (2011): 77-98.

[32] Cizelj, Igor, Xu Chu Dennis Ding, Morteza Lahijanian, Alessandro Pinto, and Calin Belta. “Probabilistically safe vehicle control in a hostile environment.” IFAC Proceedings Volumes 44, no. 1 (2011): 11803-11808.

[31] Maasoumy, Mehdi, Alessandro Pinto, and Alberto Sangiovanni-Vincentelli. “Model-based hierarchical optimal control design for HVAC systems.” ASME Dynamic Systems and Control Conference, 2011.

[30] Mozumdar, M., Alberto Puggelli, Alessandro Pinto, Luciano Lavagno, and Alberto L. Sangiovanni-Vincentelli. “A hierarchical wireless network architecture for building automation and control systems.” In Proceedings of the 7th International Conference on Networking and Services (ICNS). 2011.

[29] Mathew, George, and Alessandro Pinto. “Optimal design of a class of hybrid systems with uncertain parameters.” In 2011 50th IEEE Conference on Decision and Control and European Control Conference, pp. 539-544. IEEE, 2011.

[28] Carloni, Luca P., Andrew B. Kahng, Swamy V. Muddu, Alessandro Pinto, Kambiz Samadi, and Puneet Sharma. “Accurate predictive interconnect modeling for system-level design.” IEEE transactions on very large scale integration (VLSI) systems 18, no. 4 (2010): 679-684.

[27] Pinto, Alessandro, Sudha Krishnamurthy, and Suresh Kannan. “A model-based end-to-end toolchain for the probabilistic analysis of complex systems.” In 2010 IEEE International Conference on Automation Science and Engineering, pp. 994-1000. IEEE, 2010.

[26] Yang, Yang, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, and Qi Zhu. “A design flow for building automation and control systems.” In 2010 31st IEEE Real-Time Systems Symposium, pp. 105-116. IEEE, 2010.

[25] Mathew, George, and Alessandro Pinto. “Markov modeling of stochastic hybrid systems.” In 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 1707-1713. IEEE, 2010.

[24] Pinto, Alessandro, and Sudha Krishnamurthy. “Developing design tools for uncertain systems in an industrial setting.” In 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 1714-1721. IEEE, 2010.

[23] Becz, Sandor, Alessandro Pinto, Lawrence Zeidner, Ritest Khire, Hayden Reeve, and Andrzej Banaszuk. “Design system for managing complexity in aerospace systems.” In 10th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference, p. 9223. 2010.

[22] Pinto, Alessandro, Sandor Becz, and Hayden Reeve. “Correct-by-construction design of aircraft electric power systems.” In 10th AIAA Aviation Technology, Integration, and Operations (ATIO) Conference, p. 9263. 2010.

[21] Surana, Amit, and Alessandro Pinto. “Analysis of Stochastic Automata Networks using copula functions.” In 2010 48th Annual Allerton Conference on Communication, Control, and Computing (Allerton), pp. 1699-1706. IEEE, 2010.

[20] Pinto, Alessandro, Ratnesh Kumar, and Songyan Xu. “Synthesis of wireless time-triggered embedded networks for networked control systems.”(https://ieeexplore.ieee.org/abstract/document/5234116) In 2009 IEEE International Conference on Automation Science and Engineering, pp. 397-402. IEEE, 2009.

[19] Leonardi, Francesco, Alessandro Pinto, and Luca P. Carloni. “A case study in distributed deployment of embedded software for camera networks.” In Proceedings of the Conference on Design, Automation and Test in Europe, pp. 1006-1011. European Design and Automation Association, 2009.

[18] Pinto, Alessandro, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli. “A methodology for constraint-driven synthesis of on-chip communications.” IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 28, no. 3 (2009): 364-377.

[17] Pinto, Alessandro, Massimiliano D’Angelo, Carlo Fischione, Eelco Scholte, and Alberto Sangiovanni-Vincentelli. “Synthesis of embedded networks for building automation and control.” In 2008 American Control Conference, pp. 920-925. IEEE, 2008.

[16] D’Angelo, M., Carlo Fischione, Matteo Butussi, Alessandro Pinto, and Al Sangiovanni-Vincentelli. “Outage-based rate maximization in cdma wireless networks.” In IEEE GLOBECOM 2008-2008 IEEE Global Telecommunications Conference, pp. 1-6. IEEE, 2008.

[15] Carloni, Luca, Andrew B. Kahng, Swamy Muddu, Alessandro Pinto, Kambiz Samadi, and Puneet Sharma. “Interconnect modeling for improved system-level design optimization.” In Proceedings of the 2008 Asia and South Pacific Design Automation Conference, pp. 258-264. IEEE Computer Society Press, 2008.

[14] Pinto, Alessandro, Luca P. Carloni, and Alberto Sangiovanni-Vincentelli. “COSI: A framework for the design of interconnection networks.” IEEE Design & Test of Computers 25, no. 5 (2008): 402-415.

[13] Davare, Abhijit, Douglas Densmore, Trevor Meyerowitz, Alessandro Pinto, Alberto Sangiovanni-Vincentelli, Guang Yang, Haibo Zeng, and Qi Zhu. “A next-generation design framework for platform-based design.” In Conference on using hardware design and verification languages (DVCon), vol. 152. 2007.

[12] Pinto, Alessandro, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli. “A communication synthesis infrastructure for heterogeneous networked control systems and its application to building automation and control.” In Proceedings of the 7th ACM & IEEE international conference on Embedded software, pp. 21-29. ACM, 2007.

[11] Pinto, Alessandro, Luca P. Carloni, Roberto Passerone, and Alberto Sangiovanni-Vincentelli. “Interchange semantics for hybrid system models.” Proc. of 5th MATHMOD (2006).

[10] Pinto, Alessandro, Luca P. Carloni, Roberto Passerone, and Alberto Sangiovanni-Vincentelli. “Interchange format for hybrid systems: Abstract semantics.” In International Workshop on Hybrid Systems: Computation and Control, pp. 491-506. Springer, Berlin, Heidelberg, 2006.

[9] Carloni, Luca P., Roberto Passerone, Alessandro Pinto, and Alberto L. Sangiovanni-Vincentelli. “Languages and tools for hybrid systems design.” Foundations and Trends® in Electronic Design Automation 1, no. 1–2 (2006): 1-193.

[8] Pinto, Alessandro, Alvise Bonivento, Allberto L. Sangiovanni-Vincentelli, Roberto Passerone, and Marco Sgroi. “System level design paradigms: Platform-based design and communication synthesis.” ACM Transactions on Design Automation of Electronic Systems (TODAES) 11, no. 3 (2006): 537-563.

[7] Sprinkle, Jonathan, Aaron D. Ames, Alessandro Pinto, Haiyang Zheng, and S. Shankar Sastry. “On the partitioning of syntax and semantics for hybrid systems tools.” In Proceedings of the 44th IEEE Conference on Decision and Control, pp. 4694-4699. IEEE, 2005.

[6] Pinto, Alessandro, Alberto L. Sangiovanni-Vincentelli, Luca P. Carloni, and Roberto Passerone. “Interchange formats for hybrid systems: Review and proposal.” In International Workshop on Hybrid Systems: Computation and Control, pp. 526-541. Springer, Berlin, Heidelberg, 2005.

[5] Sangiovanni-Vincentelli, Alberto Luigi, and Alessandro Pinto. “Embedded system education: a new paradigm for engineering schools?.” ACM SIGBED Review 2, no. 4 (2005): 5-14.

[4] Balarin, Felice, Roberto Passerone, Alessandro Pinto, and Alberto L. Sangiovanni-Vincentelli. “A formal approach to system level design: Metamodels and unified design environments.” In Proceedings of the 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design, pp. 155-163. IEEE Computer Society, 2005.

[3] Sangiovanni-Vincentelli, Alberto L., and Alessandro Pinto. “An overview of embedded system design education at Berkeley.” ACM Transactions on Embedded Computing Systems (TECS) 4, no. 3 (2005): 472-499.

[2] Pinto, Alessandro, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli. “Efficient synthesis of networks on chip.” In Proceedings 21st International Conference on Computer Design, pp. 146-150. IEEE, 2003.

[1] Pinto, Alessandro, Luca P. Carloni, and Alberto L. Sangiovanni-Vincentelli. “Constraint-driven communication synthesis.” In Proceedings of the 39th annual Design Automation Conference, pp. 783-788. ACM, 2002.

External Activities

Program Committee Member:

  • 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) 2019
  • 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) 2016
  • 24th International Joint Conference on Artificial Intelligence (IJCAI) 2015
  • 2nd International Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) 2015
  • AAAI 2014 Symposium, Modeling in Human-Machine Systems: Challenges for Formal Verification
  • IEEE International Symposium on Industrial Embedded Systems (SIES) 2013
  • IEEE International Symposium on Industrial Embedded Systems (SIES) 2012
  • IEEE International Symposium on Industrial Embedded Systems (SIES) 2011
  • IEEE International Symposium on Industrial Embedded Systems (SIES) 2010
  • International Conference on Embedded Software (EMSOFT) 2010
  • 47th Design Automation Conference 2010
  • 46th Design Automation Conference 2009
  • 5th Workshop on Synchronous Languages, Applications, and Programming (SLAP) 2006

Session Chair:

  • Session Chair, Future of IC Reliability, 49th Design Automation Conference
  • Tutorials Chair, Embedded Systems Week 2013
  • Moderator: Performance and Power Issues in Embedded System-Level Design, International Conference on Computer-Aided Design, 2009

Talks and panels

  • CISE Seminar, Boston University, “Planning Via Constrained Markov Decision Processes”
  • Invited Talk at the Arizona State University. “Embedded AI”
  • Workshop on Complex Collaborative Systems, “Knowledge-based Architectures” (invited talk), IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS 2017)
  • Workshop on Verification and Control of Cyber-physical Systems: Theory and Applications, Invited Speaker, 55th Conference on Decision and Control
  • Modeling Complex Industrial Systems (Panel), Organizer and Moderator, Embedded Systems Week 2013
  • Model-Based Tool Chains for the Probabilistic Analysis of Complex Systems, Boston University, 2010
  • Verification of Autonomous Systems, 31st Annual National Test & Evaluation Conference, 2016
  • Model-Based Design of Uncertain Systems: Why and How, CCDC Seminar, University of California, Santa Barbara
  • Code Generation Infrastructure for a Multi-Modal Synchronous MoC, Workshop on Software Synthesis, Embedded Systems Week 2013
  • On the development of tools for system design, Institute for Systems Research, University of Maryland, 20
  • Invited US industry representative, Trans-Atlantic Modeling and Simulation for Cyber-Physical Systems, Georgia Institute of Technology, 2015