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 |