|
Dr. Stanislav Živný
Junior Research Fellow
University College, Oxford
|
Research interests:
Combinatorial and discrete optimisation (graphical models and submodular
functions), constraint satisfaction (computational complexity and
efficient algorithms), and SAT solvers (resolution and proof complexity).
My doctorate was on the complexity and
expressive power of valued constraints and submodular
functions.
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 at Prague, Amsterdam and Turku. Between
2006 and 2009, I was a PhD student at the
Oxford University
Computing Laboratory and a member of
Keble College.
In 2009, I completed my PhD in computer science
under the supervision of
Peter
Jeavons on
constraint
satisfaction problems.
Detailed
CV.
Trivia: I go by
Standa,
which is a commonly used Czech variant of Stanislav.
I support
The INCTR Challenge
Fund.