Mathematical engineer bringing type safety to the cloud.