
Standa Živný
Professor of Computer Science
Tutorial Fellow at Jesus College
University of Oxford
Email: standa • zivny @ cs • ox • ac • uk
Phone: +44 (0)1865 610724

RESEARCH
I am interested in algorithms and computational complexity, particularly in convex relaxations, discrete and combinatorial optimisation, graph homomorphisms, and submodularity. Most of my work lies at the intersection of the above, namely it is on constraint satisfaction problems (CSP) in its many forms (approximation, counting, decision, optimisation, promise).
From the currently available courses in Oxford's Department of Computer Science, the most relevant ones are Computational Complexity and Probability and Computing (I used to lecture the latter).
All my publications are available online.
GRANTS
SERVICE
Conferences Programme Committees

TCS:
MFCS'20,
STACS'20,
ISAAC'19,
ESA'19,
MFCS'18,
ICALP'18

AI:
CP'21 (SPC),
IJCAI'21 (SPC),
AAA'21,
IJCAIPRICAI'20,
AAAI'20,
IJCAI'19,
IJCAIECAI'18,
AAAI'18,
AAAI'17,
CP'17,
CP'16,
IJCAI'15,
CP'14,
CP'13,
DPCP'13,
IJCAI'13,
AAAI'12,
CP'12,
DPCP'12 (cochair),
SOFSEM'12,
AAAI'11,
CP'11,
DPCP'11,
IJCAI'11,
AAAI'10,
CP'10,
DPCP'10 (cochair),
DPCP'09
Journal Editorial
 Constraints, Editorial Board Member, since 2019
 Philosophical Transactions of the Royal Society A (PTA), Editorial Board Member, since 2019
 SIAM Journal on Discrete Mathematics (SIDMA), Associate Editor, since 2017
Organiser
 Dagstuhl Seminar 22201 The Constraint Satisfaction Problem: Complexity and Approximability, 2022 (with M. Grohe, V. Guruswami, and D. Marx)
 Dagstuhl Seminar 18231 The Constraint Satisfaction Problem: Complexity and Approximability, 2018 (with M. Grohe, V. Guruswami, and D. Marx)
Other
 Informatics Europe, Board Member, since 2020
 London Mathematical Society (LMS) Computer Science Committee, since 2019
 EurAI PhD Dissertation Award, Panel Member, 2019
 EPSRC Peer Review College, Member, since 2018
 ACP Doctoral Research Award, Panel Member, 2018
 Royal Society International Exchanges Committee, Panel Member, since 2015
SUPERVISION AND MENTORING
BSc and MSc Students
 Jáchym Solecký, fourthyear project, since 2020, Minimum cut estimation using local queries
 Costin Oncescu, thirdyear project, since 2020, Additive approximation of generalisations of submodular functions
 Piotr Mitosek, research internship (funded by the RS), 2020 (with M. Wrochna)
 Eden Pelleg, MSc 2020 (dissertation and overall distinction), Additive sparsification of graphs
 Yunus Ayidin, thirdyear project (distinction), 2020, Computational complexity of puzzles and games
 David Klambauer, MSc 2019 (dissertation distinction), On sparsifiability of twovariable CSPs
 Silvia Butti, MSc 2018 (dissertation and overall distinction), On sparsifiability of valued CSPs
 Gregor Matl, MSc 2018 (dissertation and overall distinction), On surjective and lowerbounded generalvalued CSPs
 Ragnar Groot Koerkamp, MSc 2017 (dissertation and overall distinction), On rainbowfree colourings of uniform hypergraphs
 Andrius Vaicenavičius, MMath 2014, (Gibbs dissertation prize) (with P. Jeavons), A study of weighted clones
 Andrius Vaicenavičius, research internship (funded by the EPSRC), 2013 (with P. Jeavons)
PhD Students
 Thomas Orton, since 2019 (with V. Kanade and R. Santhanam)
 Alexandre BrandtsLongtin, since 2018
 Jacob Focke, PhD 2020 (with L. Goldberg),
On the complexity of counting homomorphisms under surjectivity constraints
(→ postdoc at CISPA/MPI, Germany)
 Peter Fulla, PhD 2018,
On the valued constraint satisfaction problem
(→ JSPS Postdoctoral Fellowship at NII, Japan)
 Andrius Vaicenavičius, 20142017 (with P. Jeavons and C. McDiarmid)
(→ transferred to pursue a PhD in applied AI)
Postdocs
 Lorenzo Ciardo, since 2020
 Shuai Shao, since 2020
 Michael Kompatscher, since 2020
 Caterina Viola, since 2020
 Balázs Mezei, 20202021
 Marcin Wrochna, 20182020
 Miguel Romero, 20172019 (→ Adolfo Ibañez University, Chile)
 Clément Carbonnel, 20172018 (→ CNRS, France)
College Lecturers
 Cristina Matache, 2020–2021
 Swaraj Dash, 20192021
 Matthew Katzman, 20192021
 Reino Niskanen, 20192020
TEACHING
Lectures
 Probability and Computing
 Mathematics for Computer Scientists
 Algorithms for Constraint Satisfaction Problems
 Complexity of and Algorithms for Valued Constraint Satisfaction Problems
Classes
 Probability and Computing
 Computational Complexity
 Automata and Formal Languages
 Advanced Data Structures and Algorithms
 Theory of Data and Knowledge Bases
 Randomised Algorithms
 Data Structures and Algorithms
 Functional Programming
 Introduction to Programming
Tutorials
 Models of Computation
 Design and Analysis of Algorithms
 Algorithms and Data Structures
 Advanced Data Structures and Algorithms
 Linear Algebra
 Logic and Proof
 Discrete Mathematics
 Continuous Mathematics
 Functional programming
 Imperative Programming 1
 Imperative Programming 2
 Introduction to Formal Proof
 Object Oriented Programming
 Digital Systems
 Concurrency
Trivia
My official first name is Stanislav but I go by Standa /'stʌn.da/, which is a commonly used Czech variant/diminutive of Stanislav.
My last name Živný /'ʒiv.ni:/ has two diacritics called the caron
and acute
accent respectively; this can be achieved in LaTeX by \v{Z}ivn\'{y}.
For various reasons I try to minimise travel but you can always visit me (virtually) in Oxford.