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.Journal
Week #0Week #1
Week #2
Week #3
Week #4
Week #5
Week #6
Week #7
Week #8
Week #9
Week #10
Week #11
Week #12
Final Report
Pictures
Links
crescent.cs.tcu.eduwww.projectalisa.org
www.phdcomics.com
Summer '09
This summer I working as a Research Intern with Dr. Jonathan Aldrich at Carnegie Mellon University. I will be formalizing SASyLF, a LF-based educational proof assistant, in Twelf. After this, I will also be looking into implementing proof search and other features into SASyLF. Use the menu on the right to read about my weekly progress.
05.23.09.