Bo Fu

About Me

I’m a Ph.D. student in the BASICS Lab at Shanghai Jiao Tong University, where I’m advised by Prof. Yuxi Fu.

My personal blog, Mologs, features interesting things I come across and find worth sharing.

中文主页

Research Interests

My current research lies in theoretical computer science. More broadly, I am interested in ideas from theoretical physics, explainable AI, and AI safety, especially when they aim to turn complex high-dimensional behavior into simpler and more human-understandable structures.

Currently, I mainly work on reachability and related verification problems in Vector Addition Systems (with States). What particularly interests me is what I see as one of the central ideas in this area: developing finite symbolic, algorithmic, and proof-theoretic methods for reasoning about infinite-state systems.

Education

• Ph.D. student in Computer Science and Technology, Shanghai Jiao Tong University.
• B.Sc. in Computer Science and Technology, Nanjing University.
  • Recipient of the National Scholarship.

Publications

To be published.

Powered by Jekyll and Minimal Light theme.