I am now a first year Ph.D. student in Institute of Software, Chinese Academy of Sciences, supervised by Prof. Shaowei Cai.
My research interests are Satisfiability Modulo Theories and Circuit Verification. Currently, my research aims to design highly efficient Bit-Vector solver.
I was an OIer, ACMer.
I luckily earned 24th place (47th on the list) in the 48th ICPC World Finals, with my teammate Sulfox, thecold.
2025.04.25
If you’d like to connect, feel free to reach out via email at c5hwang@outlook.com.
For users in China, you can also contact me through Tencent QQ at 1121986716.
Change life. Start fresh.