Petar Maksimović

Petar Maksimović has received his Ph.D. in Theoretical Computer Science from Inria Sophia Antipolis. His expertise lies in the design, implementation, and real-world application of symbolic analysis tools, as well as the formalization and mechanization of programming-language semantics and their properties. He is passionate about bringing formal methods into the industrial software design and development lifecycle. Petar is also a Research Fellow at Imperial College London.