Hi! I'm Eduardo.

I'm a master's student at the University of São Paulo, where I previously graduated with a degree in Computer Science. I'm currently focusing on formal methods and the Lean programming language.

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 find me at any of these:

Email: [email protected] or [email protected]
LinkedIn: in/edusporto
GitHub: @edusporto

Posts

Here are some of my posts:

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

...you can find more here.