I am a Research Scientist at Galois, Inc. working mostly on Quantitative Information Flow and Abstract Interpretation.
I have just finished my PhD thesis. I conducted the research 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 (particularly the representation and manipulation of structures representing rhythm), and compilers.
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)
- BS in Music Engineering Technology with
- Minor in Electrical Engineering
- Minor in Computer Engineering