Alex Mahrer has made significant contributions in the domains of model-based systems engineering, automated reasoning, and cyber security. He is the lead UI developer on Adventium's CAMET suite of model-based system engineering tools, including the NASA-funded CAFFMAD tool which enables users to explore trade space analyses on design options in accordance with the principle of least-commitment design.
As part of DARPA's AIMEE program, Alex is applying recent advances in automata theory on Adventium's DECIMAL program for use in the detection of emergent computation vectors in system models.
On SLICED, Adventium’s Navy-funded tool that analyzes behavioral models to detect system errors early in the design process, Alex assumed the role of tech lead in the development of cross-platform tools for analyzing, visualizing, and debugging sequences of state transitions across a composite state machine model.
As part of Adventium's secure hypervisor project, Magrana Server, Alex designed and developed UI for administering Magrana Server instances across multiple platforms. In addition,
Alex assisted in the development of an open source Virtual Cyber Defender Introspection Appliance (VCD-IA), enabling agentless defense of virtual machines running on the Xen hypervisor.
Alex contributed to the design and development of Adventium's AMBORO system, a constraint‐based network configuration optimizer developed as part of DARPA's Mission‐oriented Resilient Clouds (MRC) program.