sepopley.info
The Website of Sneha Popley,
a student at Texas Christian University
About
Sneha Popley is a junior Computer Science and Math double major from India. She is currently completing her undergraduate degree at Texas Christian University. In Summer '08, she worked as a Research Assistant at the University of Pennsylvania where she investigated the properties of dependently typed languages. Her future plans include a Ph.D in Computer Science.Journal
Week #0Week #1
Week #2
Week #3
Week #4
Week #5
Week #6
Week #7
Week #8
Week #9
Week #10
Final Report
Penn in Pictures
Links
crescent.cs.tcu.eduwww.projectalisa.org
www.phdcomics.com
Introduction
CRA-W DMP
In Summer '08 I served as a Research Assistant at the University of Pennsylvania for 10 weeks through the CRA-W DMP program. DMP is the Distributed Mentor Program sponsored by CRA -W.
My Mentor
In Summer '08 I worked with Dr. Stephanie Weirich at the University of Pennsylvania. Her research interests include statically-typed programming languages. Her current research projects include type-directed programming, type inference for advanced systems, and machine assistance for programming languages.
My Research
With Stephanie, I focused on exploring the properties of dependently-typed programming languages. I explored the implementation of different algorithms of binary search trees in these languages and its implications.