Hao Su

About Me

I am currently a first-year MS student in Computer Science and Technology at the School of Intelligence Science and Technology, Nanjing University. I received my bachelor's degree in Computer Science and Technology from the School of Computer Science and Technology, Shandong University in June 2024.

Interests

I’m interested in exploring how logical reasoning can be leveraged in machine learning. My broader interests span Learning Theory, Probability Theory, Complexity Theory, Computability Theory, Real Analysis, Abstract Algebra, Linear Algebra, and Mathematical Logic.

Selected Projects

• Dotfiles with cross-platform support. (repo). I use Neovim (BTW).
• A toy model that abductively learns regular grammars from raw data (repo).

Currently On

• Theory of Computation (notes).
• Mathematical Logic (notes).
• Teaching assistant for this course. Part of the homework is available here.
• Reading papers (notes).