Bio

Dr. Baratto has over 20 years of experience designing, developing, and managing software and product development. He is an expert on symbolic execution and dynamic program analysis, and is intimately familiar with the LLVM Compiler Infrastructure.  He is a senior member of Aarno Labs’ ARPA-H DigiHeals and DARPA E-BOSS Team.  Previously he was the PI for DARPA's Open Programmable Secure 5G (OPS5G) program, the Tunable Cyber Defensive Security Mechanisms SBIR and a senior member of Aarno Labs teams for DARPA's AMP and HACCS programs. Prior to working at Aarno Labs, Dr. Baratto held senior positions at both startups (Calista Technologies, NeuroScouting) and large software companies (Microsoft, VMware) in fields including remote displays, virtualization, networking, and computer games applied to NeuroScience. He has extensive research experience and published papers in top academic conferences in remote display, computer security, and virtualization.

He got his PhD from Columbia University in 2007, and BS from the University of Puerto Rico, Rio Piedras in 2001, both in Computer Science.

Outside of work he spends most of his time wrangling his cat-like kiddos.  If there's any free time after that he liks to spend it scuba diving (cold and warm water), cycling, hiking, and playing chess and video games.

Papers