I’m a computer scientist interested in type theory and the application of formal methods to real world enterprise use cases.