Aleksandar Zeljic

Postdoctoral Research Fellow, Computer Science, Stanford University

Aleksandar Zeljic is a post-doc at Stanford and is a member of Stanford's AI Safety Center. His research interest lies in aiding development of safe(r) software through use of formal methods and automated reasoning. Currently, he works on development of Marabou, a tool for reasoning about properties of deep neural networks. Aleksandar earned his PhD from Uppsala University in Sweden for work on automated reasoning about machine arithmetic.