Standa ŽivnýAssociate Professor of Computer ScienceTutorial Fellow at Jesus College Royal Society University Research Fellow University of Oxford
Email: standa • zivny @ cs • ox • ac • uk

RESEARCH
I am interested in algorithms and computational complexity. In particular, in constraint satisfaction problems (CSPs) in its many forms (e.g., decision, counting, optimisation, promise).
All my publications are available online.
I am grateful to the ERC for their support via the starting grant Power of Algorithms in Discrete Optimisation.
I have funding for strong PhD students and postdocs interested in working in algorithms and complexity. (Also, for Oxford undergraduates.) Get in touch if you are interested.
SERVICE
Journal EditorialConstraints, 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).
Conferences Programme Committees
MFCS'20,
IJCAIPRICAI'20,
STACS'20,
AAAI'20,
ISAAC'19,
ESA'19,
IJCAI'19,
IJCAIECAI'18,
MFCS'18,
ICALP(A)'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.
Workshop Organiser
Dagstuhl Seminar 18231 The Constraint Satisfaction Problem: Complexity and Approximability, 2018 (with M. Grohe, V. Guruswami, and D. Marx).
Other
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).
STUDENTS
BSc and MSc StudentsEden Pelleg, since 2020.
Costin Oncescu, since 2020.
Yunus Ayidin, since 2019.
David Klambauer, 20182019.
Silvia Butti, 20172018.
Gregor Matl, 20172018.
Ragnar Groot Koerkamp, 20162017.
Andrius Vaicenavičius, 20132014 (with P. Jeavons).
PhD Students
Thomas Orton, since 2019 (with V. Kanade and R. Santhanam).
Alexandre BrandtsLongtin, since 2018.
Jacob Focke, 20162020 (with L. Goldberg).
Peter Fulla, 20142018.
Andrius Vaicenavičius, 20142017 (with P. Jeavons and C. McDiarmid; transferred to puruse a PhD in AI).
Postdocs
Caterina Viola, since 2020.
Balázs Mezei, since 2020.
Marcin Wrochna, since 2018.
Miguel Romero, 20172019.
ClĂ©ment Carbonnel, 20172018.
TEACHING
LecturesProbability 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 first name is Stanislav but I go by Standa /'stʌn.da/, which is a commonly used Czech variant of Stanislav.
My last name Živný /'ʒiv.ni:/ has two diacritics called the caron and the acute accent respectively; this can be achieved in LaTeX by \v{Z}ivn\'{y}.