Hi! I’m a second-year Ph.D. student at the University of Illinois Urbana-Champaign. I am broadly interested in programming languages and formal methods, with more specific interests in logic and automated reasoning tools, as well as applying language and verification techniques to the concurrent setting. Some projects I’m working on are as follows: one project, with Dr. Madhusudan Parthasarathy, focuses on developing a predictable automatic verification paradigm that centers around local, or intrinsic definitions of data structures rather than recursive definitions. Another project, with Dr. Mahesh Viswanathan, focuses on differential privacy verification, where I am extending approximate solvers for nonlinear real arithmetic to improve differential privacy verification tools.

Prior to joining Illinois, I did research in high-performance computing, where I worked primarily under Dr. Dingwen Tao. I did this work as part of the Randall Research Scholars Program, an honors interdisciplinary undergraduate research program at the University of Alabama. My research focus was parallel algorithm design and GPU performance engineering for scientific computing. Specific work I contributed to includes the lossy compressor cuSZ (part of the SZ compressor project) and high-performance linear algebra operations.

See my CV here, and please don’t hesitate to reach out to me.