Name:Álvaro F. Silva

Bio:

Álvaro Silva is a Ph.D. candidate in Software Engineering at the University of Porto (FEUP), affiliated with Carnegie Mellon University through the CMU Portugal program. His research focuses on improving the usability and productivity of verification-aware programming languages, particularly Dafny, using artificial intelligence and automated tooling. He is a member of the VeriFixer project and has worked on LLM-assisted verification, proof coverage, automated testing, and fault localization for Dafny. Before his Ph.D., he worked as a Staff ASIC Digital Design Engineer at Synopsys, where he focused on functional and formal verification of automotive IP. He holds an Integrated Master’s degree in Electrical and Computer Engineering from FEUP.

Country:Portugal

Affiliation:Faculdade de Engenharia da Universidade do Porto

Research interests:Formal Methods