Milijana Surbatovich

Milijana Surbatovich is an assistant professor of computer science with an appointment in the University of Maryland Institute for Advanced Computer Studies.

Her research focuses on programming languages, formal methods and systems for emerging computing platforms. Surbatovich aims to develop formal models and language abstractions that ensure correctness and security, enabling programmers to fully leverage these platforms while maintaining trustworthiness.