The Team

About the Team

The team behind Assurance Labs combines world-class expertise in software correctness, formal methods, and technology commercialization. Our founders helped shape the foundations of modern software assurance, contributed decades of influential research, and built and scaled technology companies across defense, enterprise software, healthcare, and AI. We bridge the gap between academic breakthrough and real-world deployment—bringing mathematical rigor to one of software's most critical unsolved problems.

Rick Linger

Chief Executive Officer

Pioneer of Cleanroom Software Engineering and software correctness. Rick helped establish the mathematical foundations of high-assurance software development and has spent decades advancing methods for building provably reliable systems.

Dr. Ali Mili

Chief Technology Officer

Professor of Computer Science at NJIT and internationally recognized expert in software correctness, formal methods, and program repair. His research has been cited more than 5,000 times and forms the scientific foundation of Assurance Labs' technology.

Bob Drazovich

Chief Operating Officer

Serial entrepreneur and tech executive with leadership experience across defense, healthcare, enterprise software, and AI. Bob has founded, advised, or served on the boards of more than two dozen technology companies and leads Assurance Labs' commercialization strategy.