Software developer with significant experience in security- and safety-critical high scale systems. Past experience includes work on military aircraft, Azure Active Directory (Entra), and Security Copilot. Strong experience in C++, C#, Java, and Lua as used in highly available high-scale systems. Currently acting as a software architect responsible for security and reliability of Microsoft Security Copilot and one of the security engineering leaders of the Microsoft Security division.

Primarily responsible for authentication, authorization, and workload isolation of Security Copilot agents and skills. Developed highly scalable systems for global data replication of terabytes of data using graph theory to maintain replication efficiency, at a scale of tens of thousands of changes per second. Both systems are globally available products with critical customer demands for data boundary isolation and privacy.

Developed code generation systems and model compilers for various UML models. Developed custom static analysis rules for the clang open source compiler to support a high-quality solution for safety-critical real-time systems. Developed custom template metaprogramming framework classes to support an enhanced type safety system that automatically detects common software development errors and reports them at compile time.

Led the development from scratch for a high-scale highly-available near-realtime guaranteed-delivery data distribution system within Azure Active Directory which enables data synchronization and notification for directory changes of tens of millions of tenants across many roles. This service guarantees convergence and enables client-customized filtering via a publish-subscribe model to ensure security-sensitive roles, including the login service itself, can rely upon its behavior.

Led the development of and released flight computer software for a released, military unmanned aircraft. Designed and led the development of a Vehicle Specific Module (VSM) used to retrofit an older aircraft to function with a STANAG 4586-compliant CUCS.

Specialties: C#, C++, safety-critical systems, reliability, identity & access management, fault-tolerance, cloud, service fabric, graph theory, SQL, STANAG 4586, ASN.1, DDS, communications protocols, code generation, static analysis, DO-178C, MISRA C++, GPS, Real-Time Kinematics (RTK), UML, SysML, Meta-Object Facility (MOF), Metamodeling, OCL

‍