PhD student at MathSys.
Game theory, decision theory, algorithms, logic and, in general, mathematical applications in social sciences.
Previously: Teaching assistant for CS356 Approximation and Randomized Algorithms and CS404 Agent-Based Systems; 2nd Year Maths Supervisor (undegrad tutor).
- 2014-2018: BSc in Mathematics and Philosophy with Specialism in Logic and Foundations. University of Warwick, 1st class.
Focus on logic and theoretical computer science in addition to a wide variety of modules from Maths, Stats and CS.
URSS project on Mean-Payoff Games and Tropical Algebra, supervised by Marcin Jurdzinski.
BSc Dissertation on Rabin's Theorem linking Nondeterminstic Automata and the logic S2S, supervised by Marcin Jurdzinski and Walter Dean.
s.zhydkov [at] warwick.ac.uk
University of Warwick,