I am a Computer Scientist and Software Developer with over 10 years of experience in both software industry and academia. I have a PhD in Computer Science from the University of York.
I am available for hire as an consultant / independent contractor for software development projects remotely. Please send me an email and we can schedule a Skype, Google Hangouts or Zoom call to discuss your needs.
My specialties include:
Please see my résumé for more details on my past experience.
(2021-now, unaffiliated) I am currently developing independent research in the area of program synthesis. I have developed a tool called Conjure that is able to produce fully-defined Haskell functions out of partial definitions and I am writing a research paper about it.
(2014-2017, University of York) During my PhD at the University of York (UK) I have written a few papers in the area of property-based testing: FitSpec, Speculate and Extrapolate. My thesis was titled Tools for Discovery, Refinement and Generalization of Functional Properties by Enumerative Testing.
I am the author of "Computer Science by Example" a website teaching computer programming through a series of incremental exercises. It includes an online judge and a tutorial section.