I am a forth-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/testing, machine learning testing, and algorithms. I am also interested in Mathematics: Probability, Discrete Mathematics.
No comments:
Post a Comment