Andrew Ryzhikov
Dr Andrew Ryzhikov
Research Associate
Room
445,
Wolfson Building,
Parks Road, Oxford OX1 3QD
United Kingdom
Interests
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.