Leonardo de Moura is a name you might recognize if you follow programming languages or automated reasoning. He created Lean and Z3, both influential tools in computer science. His personal website, hosted at leodemoura.github.io, is a straightforward portfolio and blog — not an e-commerce store, not a service collecting your data, just an academic professional sharing his work.
For that kind of site, many of the usual red flags just don't apply. There's no privacy policy or terms of service, but that's perfectly normal for a personal page that doesn't sell anything or handle signups. The SSL certificate is valid but expires in a few weeks — a minor inconvenience, not a safety concern. The site loads quickly over Fastly's network and has never appeared on any blacklist.
If you're wondering whether leodemoura.github.io is a scam or fake, the evidence says no. The content matches the biography of a real, notable figure. The about page and contact information are right there. Social media links add another layer of accountability.
For a personal blog or portfolio, this site does everything expected of it. There's no reason to treat it with suspicion. The only thing to watch for is the SSL renewal — but that's a reminder, not a warning.