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

John Nguyen

REUSE student, Software and Societal Systems

Contact

Address
5000 Forbes Avenue
Pittsburgh, PA 15213

Home Institution: Syracuse University
Project: Compositional Verification of Distributed Protocols in TLA+
Mentor: Dr. Eunsuk Kang