| Department of Computer Science |
| 4147 Upson Hall |
| Cornell University |
| Ithaca, NY 14853 |
| B.A. Hons University Of Exeter, St Marks and St Johns, |
| Plymouth, England |
| wallis@cs.cornell.edu |
| Providing Admin Support for: Robert, L. Constable, Tim Teitelbaum, Greg Morrisett, Nuprl group |
