July 3, 2013
Work for a commercial satellite manufacturer. Scala there is to date a small grassroots initiative. Intent is to develop functional libraries for use in engineering development, while also interfacing to Java-based tools.
Type system hacking, advanced FP techniques, database interaction.
Functional programming enthusiast interested in multiple languages. I like theory as well as practice. Interested in type-oriented techniques for correct-by-construction reasoning & formal verification; also FP-oriented software architecture.