I am a senior at Penn pursuing an uncoordinated dual degree between Engineering (Networked and Social Systems Engineering) and Wharton (Economics). I am a five-semester (Head) TA for undergraduate and graduate algorithm courses and a graduate software foundations course. I am also a member of various honor societies (Tau Beta Pi, Eta Kappa Nu, Beta Gamma Sigma). I am a Wharton Research Scholar.I am passionate about researching and developing software to solve complex problems, as well as its connection with the business. I have excelled in both functional (Coq, Haskell, OCaml) and imperative programming (Java, C++, C, Python). I have developed a strong foundation in programming language theory, formal verification, and algorithmic analysis.I am passionate about exploring more interesting ideas/projects that intersect computer science and business. Let's connect!!