Michael Roberson
Partner Software Engineering Director at Microsoft
Redmond, Washington, United States
Summary
👤
Senior🎓
Top SchoolMichael Roberson is a Partner Software Engineering Director in Redmond with over a decade of experience at Microsoft, blending hands-on systems engineering with leadership across cloud storage, REST APIs, and client SDKs. He holds a Ph.D. in Software Verification from the University of Michigan, bringing formal methods and rigorous correctness thinking to large-scale product development. His career progressed from core engineering on Azure storage and SDKs—where he has debugged and stabilized critical Java storage and key vault cryptography paths—to leading teams that deliver resilient cloud services. Comfortable in C#, C++, and Java, he pairs low-level implementation expertise with a product-first approach to developer tooling and open-source collaboration. Colleagues rely on him for technically grounded decisions that reduce operational risk while accelerating feature delivery. An uncommon strength is his research background applied to production reliability, turning academic verification techniques into practical engineering safeguards.
11 years of coding experience
14 years of employment as a software developer
Doctor of Philosophy (Ph.D.) Computer Science, Doctor of Philosophy (Ph.D.) Computer Science at University of Michigan
Github Skills (8)
javas10
storage10
azure10
microsoft-azure10
azure-sdk10
java10
vault9
azure-keyvault9
Programming languages (7)
Github contributions (5)
Azure/azure-sdk-for-java
Aug 2016 - Feb 2018
This repository is for active development of the Azure SDK for Java. For consumers of the SDK we recommend visiting our public developer docs at https://docs.microsoft.com/java/azure/ or our versioned developer docs at https://azure.github.io/azure-sdk-for-java.
Role in this project:
Back-end Developer
Back-end DeveloperContributions:18 commits, 2 comments in 1 year 5 months
Contributions summary:Michael primarily focused on modifying and reverting changes related to Azure storage file functionalities. Their contributions involved debugging and fixing the Azure storage library. Additionally, they updated dependencies and tests related to key vault encryption. Their work is crucial to the functionality and stability of the Azure SDK for Java.
azureazure-sdkjavaazure-servicesazure-resources
mirobers/azure-storage-net
Aug 2015 - Jan 2018
Contributions:5 pushes, 1 branch in 2 years 6 months
dotnetmicrosoft-azure-storagecsharpmicrosoft-azurestorage
Find and Hire Top DevelopersWe’ve analyzed the programming source code of over 60 million software developers on GitHub and scored them by 50,000 skills. Sign-up on Prog,AI to search for software developers.