Research & Engineering
I enjoy working with the team at MuseDev to stand up an awesome code analysis platform. I’ve manually applied several tools to industrial problems and have thirsted for funding to bring other tools to the table — gradually making that dream a reality consumes most of my time.
The unconsumed portion of my brain and time goes to family life, working to improve the Haskell community, and hopefully conversing with you (seriously, drop me a note if you’re working or thinking along the same lines).
We take pride in personally connecting with all interested partners, collaborators and potential clients. Please email us with a brief description of how you would like to be connected with Galois and we will do our best to respond within one business day.