Surbatovich, Milijana
Maryland Cybersecurity Center
UMIACS
EDUCATION
- M.S. & Ph.D. in Electrical & Computer Engineering from Carnegie Mellon University
BACKGROUND
Milijana Surbatovich is a core faculty member in the Maryland Cybersecurity Center and a member of the Lab for Programming Languages at the University of Maryland (PLUM) with an appointment in the University of Maryland Institute for Advanced Computer Studies (UMIACS).
Her research interests are in programming languages, formal methods, and systems for non-traditional computing systems, broadly speaking. Surbatovich seeks to provide the formal models, enforcement mechanisms, and language abstractions necessary for designing emerging computing platforms to meet well-defined correctness and security guarantees from the ground up, allowing programmers to unlock the full potential of their system without compromising trustworthiness.
She received a doctorate in electrical and computer engineering from Carnegie Mellon University.
- Programming Languages
- Formal Methods