The following is a list of projects for which I served as principal investigator. For the externally funded projects, I had the opportunity to lead each step of the process, from concept generation, to pre-marketing, proposal writing, negotiations, and project execution.

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.