Standa Živný
|
Dr Stanislav Živný
Junior Research Fellow
Standa.Zivny@cs.ox.ac.uk
+44 (0)1865 73884
+44 (0)1865 273839 (fax)
Room 357, Wolfson Building, Parks Road, Oxford OX1 3QD |
Interests
- combinatorial and discrete optimisation: graphical models and submodular functions
- constraint satisfaction: computational complexity and efficient algorithms
- SAT solvers: resolution and proof complexity
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
- Researcher, Microsoft Research Cambridge, summer 2010
- Lecturer in Computing, Balliol College, Oxford University, 2010-2012
Note: Although my first name is Stanislav, I go by Standa, which is a commonly used Czech variant of Stanislav. My last name is pronounced "zhivnee". I'm in 352.
Links
Further details on my work can be found on my personal homepage.
DBLP
Roles
AAAI'10 , PC Member
CP'10 , PC Member
CP'10 , Doctoral Programme Co-Chair
Selected Publications
| Tractable valued constraints Peter G. Jeavons and Stanislav Živný In Lucas Bordeaux‚ Youssef Hamadi‚ Pushmeet Kohli and Robert Mateescu, editors, Advances in Tractability. Cambridge University Press. 2012. This work is in copyright. The draft is for personal use only. No further distribution without permission. |
| Tractable triangles and cross−free convexity in discrete optimisation Martin C. Cooper and Stanislav Živný In Journal of Artificial Intelligence Research. 2012. to appear |
| The complexity of conservative valued CSPs Vladimir Kolmogorov and Stanislav Živný In Proceedings of the 23rd ACM−SIAM Symposium on Discrete Algorithms (SODA'12). Pages 750–759. 2012. Preprint: http://zivny.cz/publications/kz12soda−preprint.pdf |
Info
|
Themes |
|
|
Activities |
