About Me

I am a first-year PhD student in the Department of Computer Science at the University of Illinois at Urbana-Champaign. My advisor is Tao Xie. I'm working in the Illinois Automated Software Engineering Group within the Programming Languages, Formal Methods, and Software Engineering (PL-FM-SE) area at Illinois CS.

My research interests are Program Verification, Algorithms. I am also interested in Mathematics: Probability, Discrete Mathematics.

No comments:

Post a Comment