2016-2017 2017-2018 2018-2019 2019-2020 2020-2021
by subject...

Aleksandar Zeljic

Aleksandar Zeljic zeljic
Personal bio
Postdoc in Clark Barrett's group at Stanford working on Marabou - a tool for verification of deep neural networks. I hold a PhD in Computer Science is in the area of Automated Reasoning for work on techniques and tools for scalable SMT reasoning about machine arithmetic (floating-point and bit-vector arithmetics). My research interests include SAT/SMT, Verification, Machine Learning, Automated Reasoning. I am very passionate about teaching, education and mentoring. I am very interested in hearing about any challenges PhD students are facing or have overcome in the course of their studies.

© Stanford University | Terms of Use | Copyright Complaints