RSS Meetups are monthly gatherings of LASIGE members with research interests mainly in Software Architecture, Verification, Testing, Programming Languages, Type Systems, Logic, Concurrency, and Formal Methods.

Title: What if your web server could prove that it works?
Speakers: Afonso Bitoque (UALG)
When: April 22nd, 2026, 15h
Where: FCUL, 6.3.27
Invited by: Alcides Fonseca

Abstract: Most web servers are tested. LeanServer is proven. In this presentation, we walk through the process of building a complete HTTPS server in Lean 4—a language most programmers have never heard of—and explain what formal verification offers us in practice.

Bio: Afonso Bitoque is a final-year computer engineering student at UALG. Among his various roles within student organisations, he is president of the computer engineering student society and studies cybersecurity and OSINT as a personal hobby. He built a server using Lean over a period of four months as a way of learning more about the language, servers, protocols and cryptography.