I’m a PhD student at LAMP/EPFL, supervised by Professor Martin Odersky. I’m also a father of two lovely kids.
My main passion is to make programming in Scala safer by checking properties that are not captured by the core type system, e.g. proper initialization ordering, purity, immutability, linearity.
I’m also interested in general topics about types, language abstractions, compilers, concurrency and intelligence.
- Gestalt: A portable macro system for Scala
- Stoic: Capability-based calculus for effects and security
- Dotty: The new Scala compiler
Links: resume, blog, lang, prog, github