Skip to content

About

Profile Photo

I am a sophomore majoring in Computer Science and Mathematics at the University of Nebraska-Lincoln. I love everything about the computer and programming. My research focus now is software testing and verification techniques.

Resume

News

  • 8/2020: ASE'21 tool paper on learning program interactions using decision trees (with Professor ThanhVu).
  • 7/2021: OOPSLA'21 paper on analyzing program complexity using dynamically inferred recurrence relations (with Didier and Professor ThanhVu)
  • 5/2021: Outstanding Undergraduate Research Assistant Award, one recipient per year, selected by the faculty.
  • 4/2021: Top Presenter Award at the Nebraska Student Research Days, six recipients out of 154 participants.
  • 12/2020: ICSE'21 paper on learning program interactions using decision trees (with Professor ThanhVu).
  • 7/2020: ICSME NIER paper on using symbolic execution to analyze the Linux build system (with Professor ThanhVu).
  • 6/2020: Started doing Production Engineering Intern at Facebook.
  • 3/2020: Joined UNSAT research group.
  • 11/2019: Won first prize at site, second in region at the ICPC North Central NA Regional Contest (with Quan and Cuong).
  • 8/2019: Started studying at UNL.