��

��

Research Experiences for Undergraduates in Software Engineering (REUSE) Program

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

Hazel Torek

REUSE/SPUR student, Software and Societal Systems

Contact

Address
5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

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