Interested in: Concentrated in algorithm design, analysis, and applications on large-scale systems. Previously, I gained experience in these fields through a Princeton-Intel REU where I applied cutting-edge verification algorithms to a distributed network. Following this, I’ve continued work in these domains by using software-based algorithms for hardware verification research while studying Computer Science at Texas A&M University.