About Me

Software engineer at Microsoft with a background in distributed applications, responsible for projects ranging from mainframe integrations, real-time decision-support systems, to federated security models and implementations. Solutions developed have been deployed in environments ranging from academia, regulated markets (such as biotech and pharmaceuticals), to Lean/Six-Sigma manufacturing.

Current focus has been on 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 working to help teams be better equipped to leverage modern data approaches (including data lake / large object stores, as well as streaming analytics and machine-learning approaches).

Ramblings and thoughts on cloud, distributed systems, formal methods...maybe even some code, too!