Professor

Department: Computer Science

Marcelo Frias is a Professor of Computer Science at the University of Texas at El Paso. His research focuses in sound automated software engineering, i.e., software engineering tools and techniques whose soundness and or completeness can be guaranteed. He publishes in conferences such as ICSE, ASE, FSE, ISSTA and journals like ACM TOSEM or IEEE TSE. In his current teaching is combining foundations of programming and generative AI to teach students how to generate provably correct code. HE is the director of the FASE Lab (Foundational Aspects of Software Engineering) where he works with his undergraduate and graduate research assistants.

Other Affiliations: FASE Lab (Foundational Aspects of Software Engineering)

Keywords of Expertise: Mathematical Logic, Theoretical Computer Science, Automated Program Analysis, Bounded Verification, Automated Program Repair.