|
Dr. Stanislav Živný
Junior Research Fellow
University College, Oxford
|
Research interests:
Artificial Intelligence (graphical models and submodular functions),
Constraint Satisfaction (computational complexity and efficient algorithms),
Discrete Optimisation, and SAT solvers.
Short bio:
I grew up in Soběslav, a small town in the south of Bohemia, Czech
republic. Prior to coming to Oxford, I read computer science in the Czech
republic, Netherlands and Finland. Between 2006 and 2009, I was a PhD
student of
Peter
Jeavons at the
Department of Computer
Science,
University of Oxford.
My doctoral thesis,
The complexity and expressive power of valued
constraints, won the 2011 ACP doctoral research award.
Since 2009, I have been a stipendiary JRF at University College, Oxford.
Detailed CV can be found here (PDF).
Trivia: I go by
Standa,
which is a commonly used Czech variant of Stanislav.
I support
The INCTR Challenge
Fund.