I am a PhD student in Computer Science at Department of Information Technology of Uppsala University. The topic of my research is SMT, particularly I am looking into decision procedures for the theories of floating-point arithmetic and bit-vectors. My supervisors are Philipp Rümmer, Christoph M. Wintersteiger and Wang Yi

Email: aleksandar.zeljic@it.uu.se

Publications

  1. Approximations for Model Construction - Aleksandar Zeljić, Christoph M. Wintersteger, Philipp Rümmer. IJCAR 2014, Best Paper Award [pdf]
  2. Deciding Bit-Vector Formulas with mcSAT - Aleksandar Zeljić, Christoph M. Wintersteger, Philipp Rümmer. SAT 2016 [pdf]