Software development

I’ve been involved in software development for 27 years. I was always passionate about programming languages, and that’s how I ended up doing research in that area.

My GitHub profile doesn’t lie: my main proficiency today is in Crystal, OCaml, and the Rocq proof assistant. I also worked in other several languages in previous jobs and in my courses, like Haskell, Scala, Rust, Ruby, Java, C, C#.

For 4+ years I’ve been leading the development of the Crystal programming language. Managing an industrial language with a mid-size community proved to be a challenge, but I learned that having a great team is key to success. I’m still part of the Steering Committee.

I love coding, and I equally love letting someone else do it and manage the outcome.

You can check more in my Curriculum Vitae.

My GitHub chart, simply because graphs are pretty:

(Kudos to ghchart!)