Hi! I'm Eduardo.

I'm an MSc student at Universidade Federal de Minas Gerais (UFMG) researching formal methods, under the supervision of Haniel Barbosa. Previously, I graduated in Computer Science at Universidade de São Paulo (USP). My current work focuses on the Lean programming language and automated program verifiers.

I'm interested in software engineering, formal verification, and programming language research and application. 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.

Contact

You can reach me at:

• Email: [email protected]
• Academic email: [email protected]
• LinkedIn: linkedin.com/in/edusporto
• GitHub: github.com/edusporto

Posts

• De onde vem o RegEx? (rascunho) - August 9, 2023 (in Portuguese)

...you can find more here.