I'm an undergraduate Computer Science student at the University of São Paulo, recently back from exchange to Charles University in Prague.

My main research interests are regarding the theory and design of programming languages. I enjoy working with functional and statically-typed languages and I find it important to pursue strong theoretical foundations for software development in addition to practical knowledge.


You can find me at any of these:


Here are some of my posts:

...you can find more here.