teaching assistants
(* = NSF Graduate Fellowship recipient)
| Student | Course | Year |
|---|---|---|
| Rose Abernathy | A history of mechanical thought | Fall 2012 |
| Lili Dworkin * | A history of mechanical thought | Fall 2010 |
| Sam Wood * | Analysis of algorithms | Spring 2011 |
summer research assistants
(* = NSF Graduate Fellowship recipient)
| Students | Topic | Year |
|---|---|---|
| Gavriella Fried and Jon Sweitzer-Lamme | A course resource for CS147: The History of Mechanized Thought | 2012 |
| Rose Abernathy | Visualization of switching circuits for formulas of first-order logic | 2011 |
| Rebecca Knowles * | Displaying formulas and data structures for first-order logic over finite domains | 2010 |
| Lili Dworkin * | Labs to support the History of Computing | 2009 |
| Abby Novick | Comparing college literacy and numeracy | 2009 |
| Anne Miller | Linear-time algorithms for transitive closure | 2008 |
| Stephanie Hilton | Graphical programming of data structures | 2008 |
| Michael Jablin | Pen tablet technology in education | 2006 |
| Pat Clancy | Mathematical typesetting by voice | 2005 |
senior thesis students
(* = NSF Graduate Fellowship recipient)
| Year | Name | Topic | Second major |
|---|---|---|---|
| 2013 | Chang Cao | Complexity of Counting | Mathematics |
| 2012 | Tanvi Surti | Social Recommender Systems | |
| 2011 | Lili Dworkin * | Automata-Theoretic Model Checking | Mathematics |
| 2011 | Andrew Gonczi | Fast distance queries in series-parallel graphs | |
| 2009 | Joe Huttner | Recommendation algorithms using the SVD | Spanish |
| 2008 | Alex Moser | Digital Watermarking and DRM | Sociology |
| 2008 | Anne Miller | Linear-time algorithms for transitive closure | Math (BMC) |
| 2005 | Lee Weinstein | Scale-free networks and Random Graphs | Mathematics |
| 2004 | Brian Bejile | Bi-level Lossless Compression Techniques | Economics |
| 2002 | Aaron Block * | Quantum Computation: An Introduction | Mathematics |
| 2001 | Todd Miller | Kolmogorov Complexity | |
| 2000 | David Costello | Computerized pricing of derivatives | |
| 2000 | Betsy Renner | Human-Computer Interaction | |
| 1998 | Adam Schran | Relational database design | |
| 1997 | Jeremy Manson | Rewrite systems: Church-Rosser property | |
| 1996 | Nik Swoboda | A Multivalued approach to default reasoning | |
| 1993 | Jon Hurwitz | Introduction to digital image processing | |
| 1993 | Waimar Tun | Gödel’s (in)completeness theorems | |
| 1993 | Oolan Zimmer | Alternation complexity and the BFVP | Mathematics |
| 1992 | Mark Belasco | A brief introduction to coding theory | Mathematics |
| 1990 | Bryant Tolles | A brief introduction to information theory | Mathematics |
| 1989 | Hank Fieglein | Parallel algorithms | Mathematics |
| 1988 | Allen Gunn | The Lambda calculus | Mathematics |
