Description: A highly-customizable Hugo academic resume theme powered by Wowchemy website builder.
Hi! I’m a first-year Ph.D. student at the University of Illinois Urbana-Champaign. I am broadly interested in formal verification, with more specific interests in distributed systems verification as well as logic and automated reasoning for verification. I am currently working with Dr. Madhusudan Parthasarathy on verifying distributed protocols by encoding them as functional programs and verifying them with automated program verification tools. I am also working with Dr. Mahesh Viswanathan on verification f
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 linea
See my CV here , and please don’t hesitate to reach out to me.