Skip to content Skip to navigation

Our fall conference on AI Ethics, Policy & Governance has ended. Watch the videos here

Aleksandar Zeljic

Aleksandar Zeljic

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.