Faculty Directory

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). 

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