R
Richard Trefler
Associate Professor
Research Interests
Formal Methods in Verification
Logic, Programming, and Type Systems
Model-Driven Software Engineering Techniques
Petri Nets in System Modeling
Software Testing and Debugging Techniques
Associate Professor