I am a computer engineer with a focus on functional programming and formal methods. Over the past years I have conducted research on push-button approaches to program verification, and I have implemented a number of prototype tools, using the functional programming languages Haskell and OCaml. In the pursuit of that goal I have used a wide range of techniques such as type inference, term rewriting, SMT solving, or fuzz testing. At present, and until the end of 2016, I work at ITU where I develop a prototype static analyzer for C based on type-and-effect inference.
I am generally interested in anything that helps building more reliable software and, if given the opportunity, in developing mission critical software myself! If you want to take a look to my CV please visit my linkedin profile for a big-picture view, or ask me for a detailed version.
(Last updated in April 2016.)