GradNova
Home
Find Faculty
Universities
Research
Home
/
Universities
/
The University of Texas at El Paso
/
Marcelo Frias
M
Marcelo Frias
Professor
Computer Science
,
The University of Texas at El Paso
Research Interests
Formal Methods in Verification
Logic, Programming, and Type Systems
Software Engineering Research
Software Reliability and Analysis Research
Software Testing and Debugging Techniques
Academic Metrics
Links
Grants