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 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 as well as the 50 brilliant students there. I got to speak with Chad Hurley, the founder of Youtube, for a few minutes as well as interact with other Googlers.

This fall, I will be 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 look forward to future opportunities to network and learn more about my fields of interest over the next few months.