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

Alex Kozik

REUSE student, Software and Societal Systems

Contact

Address
5000 Forbes Avenue
Pittsburgh, PA 15213

Bio

Home Institution: Cornell University
Project: Improving SASyLF, a Proof Assistant for Programming Language Education
Mentor: Dr. Jonathan Aldrich