Hello

Testing Jekyll site.

May 20, 2025
Welcome to Jekyll!

Personal website of Walter Moreira. Mathematician and Software Engineer, specializing in formal methods and functional programming.