Name:Álvaro F. Silva

Bio:

Álvaro Silva is a Ph.D. candidate in Software Engineering at the Faculty of Engineering of the University of Porto (FEUP), affiliated with Carnegie Mellon University through the CMU Portugal Program. His research focuses on improving the usability of verification-aware programming languages, particularly Dafny, by leveraging large language models and AI techniques. His interests include formal methods, software verification, and the application of verification technologies to hardware design. Before starting his Ph.D., he worked as a Staff ASIC Digital Design Engineer at Synopsys, specializing in functional and formal verification for automotive systems. He also serves as a Guest Assistant at FEUP, teaching programming and computer systems courses.

Country:Portugal

Affiliation:INESC TEC, Faculty of Engineering, University of Porto

Research interests:Formal methods and verification