Rudy Matela

Computer Scientist and Software Developer

About me

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.

Research

(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.

(2021, unaffiliated) I have developed a library for manipulating dynamically typed Haskell expressions called Express. I published a paper about it on the Haskell Symposium 2021.

(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.

Teaching & Education

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.