I am a first-year PhD student at University of Pennsylvania. I
work in the programming languages group under the guidance of Mayur Naik. My research
interests include the intersection of computer science and music theory,
program synthesis and repair, and software engineering.
With regards to music, my current research interest (still fluctuating) is: How can we use constraint solving to generate interesting music? More interestingly, what are the constraints on music that previous constraint solving approaches failed to acknowledge? A current approach I've been working on involves a topological analysis of music. Also, there needs to be much more research done on constraint solving for creative applications in general, where many different solutions need to be found, so I am interested in that line of thinking as well.
With regards to software engineering, my interests are also evolving, but I'm currently working on repairing buggy C programs using stochastic, statistical, and logical methods.