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 |