Hanxi Chen
I am a senior at the University of Pennsylvania, where I am extremely fortunate to research under the Vellvm Project with my CIS senior thesis advisor, Dr. Steve Zdancewic. For Vellvm and my senior thesis, I am working on building property-based testing, specifically LLVM code-generation infrastructure, in Coq using QuickChick. I am also fortunate to research with my Wharton Research Scholar Thesis advisor, Dr. Sanjeev Khanna. For my Wharton honors thesis, I am working on finding more graph classes in which there is an efficient solution for the knapsack problem with precedence constraint.
I am pursuing an uncoordinated dual bachelor’s degree between Networked and Social Systems Engineering (NETS) at the School of Engineering and Applied Science and Business Analytics at the Wharton School. I am also submatriculating into an MSE degree in Computer and Information Science. I’m fortunate to have Dr. Andreas Haeberlen as my academic advisor, who provided me with invaluable suggestions that tremendously enhanced my experience at Penn.
If you have any questions regarding Penn or other things, please feel free to contact me.
news
| Aug 28, 2023 | For Fall 2023, I am going to be a TA for CIS 5000 (Software Foundations) and a Head TA for CIT 5960 (Algorithms & Computation)  |
|---|---|
| May 20, 2023 | For Summer 2023, I amm going to be a Head TA for CIS 5020 (Analysis of Algorithms) |
| Jan 1, 2023 | For Spring 2023, I am going to be a Head TA for CIS 3200 (Introduction to Algorithms) |
| Aug 28, 2022 | For Fall 2022, I am going to be a TA for CIT 5960 (Algorithms & Computation) |
| May 20, 2022 | For Summer 2022, I am going to be a TA for CIS 3200 (Introduction to Algorithms) |