Home  Contact
sepopley.info
The Website of Sneha Popley, a student at Texas Christian University

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. In Summer '09, she is a Research Intern at Carnegie Mellon University where she is working with SASyLF. Her future plans include a Ph.D in Computer Science.

Links

crescent.cs.tcu.edu
www.projectalisa.org
www.phdcomics.com

Summer Experiences

2009
In 2009, I am working with Dr. Jonathan Aldrich translating SASyLF from Java into Twelf/LF. Click here to find out more.

2008
At the University of Pennsylvania, I analyzed dependent types through binary search trees with Dr. Stephanie Weirich. Click here to find out more.

© 2007 SiteName.com. Designed by Free CSS Templates, Thanks to Dubai Villas | RSS Feed | CSS and XHTML | Login