Andrew Ryzhikov
Dr Andrew Ryzhikov
Research Associate
Leaving date: 31st December 2024Interests
Automata theory, logic, verification, algebra in computer science, matrix theory, optimisation, graph theory.
Biography
See my personal website for full information.
Roles at Oxford:
2022-2024: Postdoctoral research associate with Christoph Haase in the "ARiAT: Advanced Reasoning in Arithmetic Theories" ERC project.
2023: Computational Complexity course: tutorials and marking for third year bachelor and fourth year master students in computer science.
2023-2024: Organiser of the Verification seminar.
2024: Organiser of the World Logic Day in Oxford 2024.