Hi!

I recently graduated from the University of São Paulo with a degree in Computer Science.

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

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

Posts

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

...you can find more here.