PhD Student

Luís Ferreirinha

Personal website

PhD student since 2024, working at the intersection of programming languages, security, and formal verification.

programming languagessecurityverification