I am a Computer Scientist and Software Developer with over 15 years of experience divided between software industry and academia. I have a PhD in Computer Science from the University of York.
Please see my résumé for more details on my past experience.
(2022) I am part of the Program Committee of the Haskell Symposium 2022.
(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.
(2021, unaffiliated) Express: Applications of Dynamically Typed Haskell Expressions. In Haskell Symposium 2021.
(2017, University of York) Tools for Discovery, Refinement and Generalization of Functional Properties by Enumerative Testing. PhD thesis, University of York, 2017.
(2017, University of York) Extrapolate: generalizing counter-examples of functional test properties. In IFL 2017. (with Colin Runciman)
(2017, University of York) Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results. In Haskell Symposium 2017. (with Colin Runciman)
(2016, University of York) FitSpec: refining property sets for functional testing. In Haskell Symposium 2016. (with Colin Runciman)
(2008, Universidade Estadual do Ceará) NAES: Natural Adaptive Exponential Smoothing Algorithm for WLAN Channel Prediction in Mobile Environments. In ICWMC 2008. (with Jeandro Bezerra, Filipe Roberto, Jorge Luiz Silva, Marcial Fernandez, Thelmo de Araújo and Joaquim Celestino Jr)
(2007, Universidade Estadual do Ceará) A method using time series analysis for IEEE 802.11 WLANs channel forecasting. In EATIS 2007. (with Jeandro Bezerra, Filipe Roberto, Jorge Luiz Silva, Marcial Fernandez, Thelmo de Araújo and Joaquim Celestino Jr.)
(2007, Universidade Estadual do Ceará) IP-Checksum Incremental Update Method Proposal for Efficient Use of Energy in Wireless Environments. In EATIS 2007. (with Domingos Carneiro, Paulo Pinheiro, Pedro Prudêncio, Daniel Cavalcante, Diego Sousa, Thially Marrocos and Marcial Fernandez)
(2006, Universidade Estadual do Ceará) Previsibilidade do Comportamento do Canal em Redes IEEE 802.11 (extended abstract). In SBRC2006. (with Jeandro Bezerra, Filipe Maciel, Jorge Luiz Silva, Joaquim Celestino Jr. and Marcial Fernandez)
(2006, Universidade Estadual do Ceará) Técnicas para Comutação Gigabit (minicurso / tutorial). In SBRC2006. (with Vinícius Romão, Pedro Prudêncio, Joaquim Celestino Jr., Jorge Luiz Silva and Marcial Fernandez)
© 2022 Rudy Matela