Aleksandar Zeljić (Preferred)
Aleksandar Zeljić
Postdoc, Stanford University
Joined
May 2021
Names
Emails
****@stanford.edu (Confirmed)
Personal Links
Career & Education History
Postdoc
Stanford University (stanford.edu)
2018 – Present
PhD student
Uppsala University (uu.se)
2012 – 2018
MS student
Faculty of Mathematics, University of Belgrade (bg.ac.rs)
2009 – 2011
Undergrad student
Faculty of Mathematics, University of Belgrade (bg.ac.rs)
2006 – 2009
Advisors, Relations & Conflicts
Coauthor
Christopher Strong
2020 – Present
Coauthor
Christopher Lazarus
2020 – Present
Coauthor
Sadjad Fouladi
2020 – Present
Coauthor
Peter Backeman
2018 – Present
Coauthor
Ahmed Irfan
2019 – 2021
Coauthor
Corina Pasareanu
2020 – 2020
Coauthor
Kyle Julian
2019 – 2020
Coauthor
Alex Ozdemir
2019 – 2019
PhD Advisor
Christoph Wintersteiger
2012 – 2018
Expertise
Verification of Neural Networks
2018 – Present
Machine Arithmetic
, Floating-point Arithmetic
2012 – Present
Automated Reasoning
, SAT/SMT
2010 – Present
Publications
No publications