- Nominated as Google Fellowship Applicant, one of the only 4 Ph.D. students selected by the Graduate College of MSU (2021)
- University Graduate Research Fellowship, full Summer support, Michigan State University. (2020)
I am nominated as one of the only 4 PhD students by MSU for Google PhD Fellowship!
I successfully passed my qualifying exam!
Our paper "Mapping Synthesis for Hyperproperties" with Borzoo Bonakdarpour, Eunsuk Kang, and Stavros Tripakis, is accepted to CSF 2022!
I will join CAV 2021 as a student volunteer this year!
I received full Summer graduate fellowship from MSU!
I gave my first conference talk at TACAS 2021!
I received the very first paper citation on my Google Scholar Page!
My first paper "Bounded Model Checking for Hyperproperties" with prof. César Sánchez and prof. Borzoo Bonakdarpour, is accepted to TACAS 2021!
I graduated from ISU with double degrees, COM S and MUSIC, in Summa Cum Laude!
I reveiced the Nomination of Outstanding Senior by the department of music!
"Music gives a soul to the universe, wings to the mind, flight to the imagination and life to everything." – Plato