About Me

Cloud architect/software engineer with a background in distributed applications, responsible for projects ranging from mainframe integrations, real-time decision-support systems, to federated security models and implementations. Ex-Microsoft (6 years).

Also enjoy modeling and applying formal methods of distributed/concurrent system design (including TLA+) in order to further cut risk and assess uncertainty during the development life-cycles. Additionally, I've been work to help customers leverage modern data approaches (including data lake / large object stores, as well as streaming analytics and machine-learning approaches).