Résumé/CV: PhD from Cambridge. BSc & MSc in CS plus MSc in AI and Statistics. More than 10 years of experience in different roles.
Email: ypres14 at proton dot me
I have significant experience in symbolic AI (expert systems and term rewriting) and formal verification (theorem proving, program analysis and model checking) as well as in probabilistic programming, statistics (GLMMs, extreme value theory and heavy-tailed time series) and modern AI (e.g. Bayesian NNs). I expect both fields to converge during this decade. I also have significant experience as a systems engineer (e.g. implementing distributed message passing inference).
Willing to consider positions a bit outside these areas in case they are related to interesting problem domains or technologies (e.g. Erlang, Rust or Haskell).
I will build better risk models of extreme weather events.
If anyone is interested in joining as a co-founder, get in touch (see email in my profile).