Dr Ruiwen Dong
Subject: Computer Science and Maths
Academic position: Fellow by Examination in Computer Science
Contact
Background
I joined Magdalen as a Fellow by Examination in Computer Science in October 2024. Before that, I was a postdoctoral researcher in Saarland University, Germany.
I completed my DPhil at the University of Oxford, after receiving a Diplôme d’Ingénieur from Ecole Polytechnique (France) and a BSc from Peking University (China).
Research
My research lies on the intersection between pure mathematics (algebra and group theory), and theoretical computer science (logic and decidability). In particular, I am interested in algorithmic problems in infinite groups, as well as their connections to automata theory, effective algebraic geometry, and number theory. More generally, I am interested in problems in algorithmic algebra that lie on the border between decidability and undecidability.
