Software development

I’ve been involved in software development for 26 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 Coq proof assistant. I also worked in other several languages in previous jobs and in my courses, like Haskell, Scala, Rust, Ruby, Java, C, C#.

In the past 3 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 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!)