Bio

I am currently a software correctness and assurance consultant, helping organizations navigate the use of high-assurance software development and formal methods. Previously I worked as the Executive Director of the Haskell Foundation, a Lecturer at the University of Maryland and 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 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