Me in 2010
Me in 2010


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):

Prior to that I studied at University of Miami in their wonderful MUE program