Sneha Popley: Home

Home

Home
Resume
Summer Experience
Posters & Papers
Personal

About

Sneha Popley is a senior Computer Science and Math double major from India . She is currently completing her undergraduate degree at Texas Christian University. Her future plans include a Ph.D in Computer Science.

Research

My research interests in Programming Languages include functional programming, logic programming, logical frameworks, type theory, higher-order abstract syntax, and theorem proving.

In spring 10, I am working on an independent study with Dr. Loren Spice at the Math department at TCU. I intially approached Dr. Spice about this endeavor towards the end of last semester because of our mutual interest in formal languages. Our plan is to explore miscellaneous topics in programming language theory such as lambda cube, unification, curry-howard isomorphism, LCF, and category theory. We also are planning to work with languages such as Prolog, ML, Haskell, Coq, and Isabelle. You can read about my weekly progress here.

In summer 09, I was a Research Assistant at the Institute for Software Research at Carnegie Mellon University. My project involved working with Dr. Jonathan Aldrich and Rob Simmons to formalize SASyLF in LF. In fall 09, I will continuing to work on this project (which is also my Honors thesis) remotely from Texas Christian University. My other committee members include Dr. J. Richard Rinewalt, Dr. Antonio Sanchez, and Dr. Rhonda Hatcher. You can read more about this on-going project here.

In summer 08, I interned at the Programming Languages Department at the University of Pennsylvania through the Computing Research Association - Distributed Research Experience for Undergraduates (CRA-DREU). I collaborated with Dr. Stephanie Weirich to analyze dependent types in Coq through Binary Search trees. My weekly journal and final report is here.

I have been involved in research since freshman year. I am working on an Image Recognition project with Dr. Antonio Sanchez at TCU. My project is to implement a face detection algorithm to find multiple human faces in an image after image segmentation has been applied to an image. View my posters at the Student Research Symposium here.

Resume

Curriculum Vitae (pdf)
Short Resume (pdf)

Posters

S. Popley, A. Sanchez. "Integration of Texture and Shape Algorithms with Face Recognition using Eigenvectors." TCU Science and Research Symposium, 2009. (pdf)
S. Popley, A. Sanchez. "Shape-Based Face Recognition in Images." TCU Science and Research Symposium, 2008. (pdf)

Papers

S. Popley, S. Weirich. "Analysis of Dependent Types in Coq through the Deletion of the Largest Node of a Binary Search Tree." 2008. (pdf)
S. Popley, J. Aldrich. "Formalization of SASyLF." (In Progress)

Personal

In my spare time, I run, travel, collect stamps, watch birds, and sit by fountains. I have miscellaneous involvements on campus from the Chancellor's Leadership Program to the ACM Programming Team. My travel map is below.

I was selected as an Google Anita Borg Memorial Scholarship Finalist in 2009. The few days at Google headquarters in San Francisco were almost unreal as I learned about new innovations and opportunities Google. I also got to speak with Chad Hurley, the founder of Youtube, for a few minutes as well as interact with other Googlers.

In fall 2009, I was a student volunteer at the Grace Hopper Celebration of Women in Computing as well as OOPSLA thanks to funding from CRA-DREU and the OOPSLA student volunteer program. I was also a recipient of the Dan Drew scholarship from Upsilon Pi Epsilon. I look forward to future opportunities to network and learn more about my fields of interest over the next few months.

December 20,2009