Position
Lecturer
Office
226 Information Technology and Engineering (ITE) Building
Contact Info
University of Maryland, Baltimore County
1000 Hilltop Circle
Baltimore, MD 21250
email: golaszewski@umbc.edu
Research Areas
Formal Verification of Cryptographic Network Protocols
Computer Science Education
Biography
Enis Golaszewski completed his PhD at UMBC in the summer of 2024. At UMBC, he continues his research of cryptographic network protocols as an affiliate of the UMBC Cyber Defense Lab (CDL), which includes training and mentoring undergraduate and graduate students in verification of cryptographic network protocols.