Research

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

First Year at UChicago

My advisor is Dave MacQueen, and I am mostly finishing my class requirements this year. In Autumn 2010, I completed Discrete Math, Programming Languages, and Big Ideas in Computer Science. I am taking Topics in Concurrency, Operating Systems, and Algorithms this winter quarter in addition to TA-ing for Implemation of Computer Languages (ie Compilers).

Independent Study at TCU

In spring 10, I worked on an independent study with Dr. Loren Spice at the Math department at TCU. Our mutual interest in formal languages led us to explore miscellaneous topics in programming language theory such as lambda cube, unification, curry-howard isomorphism, LCF, and CoC. We also worked with languages such as Prolog, ML, Twelf, and Coq. You can read more about it in my final paper.

Research Internship at Carnegie Mellon University

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 spring 10, I continued to work on this project (as 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 project here.

Research Assistantship at the University of Pennsylvania

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.

Research Assistantship at TCU

I have been involved in research as an undergraduate (since freshman year). I worked on an Image Recognition project with Dr. Antonio Sanchez at TCU. My project was 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, J. Aldrich, R. Simmons. "Formalization of SASyLF", TCU Student Research Symposium, 2010. (People's Choice Award) (pdf)
J.Alvord, A. Grosso, J. Marquez, S. Popley, P. Stromberg, F. Wesner. "FROG Recognizer of Gestures", TCU Student Research Symposium, 2010. (Best Poster in Computer Science & People's Choice Award) (pdf)
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." (pdf)

Presentations

S. Popley. "Formalization of SASyLF." TCU Honors Week 2010. (pdf)
     A 15-minute presentation designed to be accessible to a general liberal arts audience.
     Awarded Boller Award for Best TCU Honors Presentation

Personal

In my spare time, I run, travel, collect stamps, watch birds, and sit by fountains. My travel map is below:

January 17,2011