Rodrigo Ribeiro
Using Haskell since 2006
You can ask me about full-time employment
Living in João Monlevade - Minas Gerais - Brazil
About Me
I'm a assistant professor of Federal University of Ouro Preto - Brazil. My interests are type systems, formal verification and functional programming.
