Software and Societal Systems Department › Research Experiences for Undergraduates in Software Engineering (REUSE) Program › People › student-bios › Hazel Torek

Hazel Torek

REUSE student, Software and Societal Systems

Contact

Address
5000 Forbes Avenue
Pittsburgh, PA 15213

Home Institution: Clemson University
Project: A Debugger for Formally Verifying Program Correctness
Mentor: Dr. Jonathan Aldrich