a world of  software
we all can trust

Building a world of  software
we all can

About us

We want to build a world in which the complex software that connects our businesses and societies is safe, secure, and trustworthy.

Our automated analysis and correction tools eliminate bugs and vulnerabilities in complex digital systems, to prevent damaging failures, losses, and injuries.

We protect organizations from the financial, reputational, and customer risks of software failures in our increasingly complex and interconnected world.

Our Values


Do you trust the software around you? Do your customers? Every day, we all experience software that doesn’t do what it’s supposed to. Most bugs are merely annoying but a few, unseen and unknown, will trigger devastating losses.

Our core focus is assuring that software-based systems can be trusted. Everything we do—from business relationships, to operational processes, to products and research—is aimed at making software trustworthy.


We know the limits of our expertise and the value of proprietary knowledge. We work in partnership with our customers to assure the quality of their systems in ways that deliver absolute respect and protection for their privacy and intellectual property.


We develop technologies that identify and correct software problems with industry-leading quality, accuracy, and precision. We are obsessive about finding all the problems, and only true problems, in your systems.

We think deeply, plan meticulously and build accurately to ensure that our products work effortlessly and flawlessly to reveal and fix bugs.

Our vision

We want to build a world of software we all can trust, in which intelligent support systems make software failure a thing of the past.

Our mission

We are building the most precise bug detection and correction software in the industry, combining decades of experience in research and software engineering with a new wave of deep static analysis augmented by artificial intelligence.

Our history

Leadership team


The pioneer in automated bug fixing with more than 15 years of research and development experience in this field, Dr. Hafiz is considered one of the thought leaders in the industry. An alumnus of University of Illinois Urbana-Champaign, he has won multiple ACM/EEE research awards as well as endorsements worth more than $1.5 million from Google, Microsoft, DoE, and NSF.
Munawar Hafiz
Co-founder & CEO
A veteran of 5 successful startups and holder of 11 patents, Charlie has more than 30 years of experience in development, engineering and management in stalwarts like CISCO and Apple, Steve Wozniak was his colleague at the latter.
Charlie Bedard
Co-founder & COO
Mushfique Manzoor has more than 20 years of diverse experience in telecommunications, retail and FMCG/CPG industries across the South and Southeast of Asia. Experienced in startups and green field operations in Bangladesh, Singapore, Nepal and Vietnam. He has worked for BAT, Novartis, Axiata and ARAMEX
Mushfique Manzoor
Co-Founder & Managing Director

Core team

Financial expert in Silicon Valley for over 35 years. His experience includes multiple public offerings, capital-raising, and taking companies public and selling them.
Howard Bailey
Financial Consultant
Moe Rubenzahl has over 30 years of deep marketing experience covering strategy, brand and messaging,demand generation, (including search and content marketing).
Moe Rubenzahl
Marketing Consultant
A highly experienced business attorney with particular focus on complex transactions in technology, energy, securities, merger & acquisitions, real estate, corporate governance and compliance.
Stephen Johns
Legal Consultant


Dr. Jeffrey Ullman

Tech Consultant

Dr. Jeffrey Ullman is the Stanford W. Ascherman Professor of Computer Science (Emeritus). His books on database, theory of computation, and compilers are standard bearers in these fields. He became a Fellow of the ACM in 1995 and received the Knuth Prize in 2000. Dr. Ullman was the co-recipient of IEEE John von Neumann Medal in 2010. He received his Ph.D. from Princeton University.

Dr. Robert Bowdidge

software tools developer

Dr. Robert Bowdidge has implemented early user interfaces for refactoring tools, refactoring support in Apple’s Xcode IDE, and completed a million line refactoring cleanup while at Google. Dr. Bowdidge received his Ph.D. in Computer Science from the University of California, San Diego, in 1995, and his B.A. in Computer Science from the University of California, Berkeley, in 1989.

What can we help you with?
Contact us!