Raúl Raja is interested in Functional Programming & Formal verification. He is a Co-founder & CTO of 47 Degrees, now part o Xebia Functional, @arrow_kt maintainer, and works with Scala, Kotlin, Haskell, and formal methods.