Adventium Labs develops and applies formal processes to design, model, and analyze complex cyber physical systems including medical devices, avionics, process control systems, and spacecraft by analyzing problems with complex spatio-temporal relationships and strong network components such as disease progression, social network analysis, and population sentiment. Adventium Enterprises™ - also part of the business - develops technology in the fields of cyber security, automated reasoning, and systems engineering. For cyber security, Adventium Enterprises technology protects computers and networks from internal and external cyber?oriented threats. For automated reasoning, Adventium Enterprises develops model?based reasoning and mathematical analysis technology to automate what can be difficult or error prone tasks for humans. For systems engineering, Adventium Enterprises develops and applies formal processes to design, model, and analyze complex cyber physical systems ranging from medical devices to spacecraft.
