About me

I am a Ph.D. Candidate at Computer Science Department, Florida State University and a member of the Formal Methods Lab. I am currently working as a Graduate Research Assistant under the supervision of Dr. Grigory Fedyukovich. I am expected to graduate in July 2025.

I am working and/or have research interests in the following areas:

• Formal Methods, Program Analysis, Software Verification, SMT Solving, Model Checking
• Compilers and Verifying Compiler Optimizations
• Type Systems, Type Inference, Type Checking
• Equivalence Checking of Programs
• Verification of eBPF programs (Linux Kernel extensions)
• Machine Learning and ML Compilers
• Applications of Formal Methods and Logic Reasoning in Machine Learning (and vice versa)
• Neurosymbolic AI, Knowledge Representation and Reasoning

I am open to collaborate in the above areas. If you are interested in collaborating, please feel free to contact me. I am also open to discuss any other research ideas you might have. I am always looking for new research ideas and collaborations.

In my free time, I like to play table tennis, lawn tennis and cricket, watch TV series, play video games (CSGO) and play card/board games. I also like to cook in my spare time.