Sergei Novozhilov
Visitors
The Hong Kong University of Science and Technology
I am currently a PhD student at HKUST, part of the ALPACAS research group led by Dr. Amir Goharshady. My research interests include formal verification, probabilistic systems, and applied parameterized graph algorithms. In the summer of 2024, I was on a research visit to the Formal Verification Group.
Interests
- Probabilistic Systems
- Symbolic Computations
- Parametrized Algorithms
Education
-
PhD in Computer Science and Engineering, 2026
The Hong Kong University of Science and Technology
-
BSc in Mathematics, 2021
Saint Petersburg State University