Jiachen Qian
Jiachen Qian
Department of Computer Science,
Robert Hooke Building
Directions Postal Address
Interests
My research interests include formal verification, automated mathematical reasoning, and automated theorem proving, which together offer a rich intersection of theoretical exploration and practical application. These fields are essential for the verification of hardware and software systems. Beyond their practical importance, a more ambitious goal is to explore the extent to which machines can aid mathematicians in conducting complex reasoning tasks, verifying proofs, and even autonomously generating novel proofs!
Biography
I completed my MSc in Mathematics and Foundations of Computer Science at the University of Oxford. Prior to that, I received my undergraduate degree in Mathematics at the University of Sheffield, where I primarily focused on pure mathematics. A previous internship in industry introduced me to symbolic reasoning and automated theorem provers, including Isabelle and Lean, which sparked a shift in my research interests toward theoretical computer science.