Bio
I am currently the Executive Director of the Haskell Foundation and finishing up a Lecturship at the University of Maryland. Previously I was a Research Scientist at Galois, Inc. working mostly on Quantitative Information Flow and Abstract Interpretation.
I completed my PhD as a member of the Programming Languages group at the University of York Computer Science Department. My thesis focused on parallelism in Functional Programming languages using the combination of static analysis and runtime profiling.
My research interests are in parallel functional languages, DSLs, computer music, and compilers.
Education
Before starting my PhD I attained two MSc degrees (also from York):
- MSc in Information Technology (2010)
- Dissertation: Graph Programs for NP-Complete Problems
- MSc in Natural Computation (2011)
- Dissertation: Using Geometric Primitives for Modelling Quantum Dots (with Distinction)
Prior to that I studied at University of Miami in their wonderful MUE program
- BS in Music Engineering Technology with
- Minor in Electrical Engineering
- Minor in Computer Engineering