Standa Živný
|
Dr
Stanislav
Živný
Room 357, Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
- tractability of constraint satisfaction problems: structures, languages, hybrid tractability
- variants of graph homomorphism problems, forbidden substructures
- combinatorial optimisation, submodular functions, perfect graphs
- linear programming, SAT
Biography
- BSc+MSc+MPhil in CS, Charles University in Prague, Czech republic, 1999-2006
(On leave to the Department of Mathematics, Turku University, Finland, 2006) - MSc in CS, VU University in Amsterdam, The Netherlands, 2004-2005
- DPhil in CS, Keble College, Oxford University, 2006-2009
- Lecturer in Computing, Hertford College, Oxford University, 2008-2009
- EPSRC PhD Plus Fellow, 2009-2010
- Stipendiary Junior Research Fellow, University College, Oxford University, 2009-2012
Links
Further details on my work can be found on my personal homepage.
Talks.
Teaching.
Roles
PC Member
PC Member
Doctoral Programme Co-Chair
Selected Publications
| The Complexity and Expressive Power of Valued Constraints Stanislav Živný PhD Thesis Oxford University Computing Laboratory. 2009. |
| Classes of submodular constraints expressible by graph cuts Stanislav Živný and Peter G. Jeavons Constraints. 2009. Details | BibTeX | Link (pdf) | DOI (10.1007/s10601-009-9078-z) |
| Structural properties of oracle classes Stanislav Živný Information Processing Letters. Vol. 109. No. 19. Pages 1131—1135. 2009. Details | BibTeX | Link (pdf) | DOI (10.1016/j.ipl.2009.07.009) |
Info
|
Themes |
|
|
Activities |