 
                     | Contact: | www | | 
| Office: | GHC 6023 | 
| Mailing Address: | Computer Science Department Carnegie Mellon University 5000 Forbes Avenue Pittsburgh, PA 15213-3891 | 
| Position: | Graduate Student, PhD | 
| Projects: | Verified disk storage system | 
| Advisor: | Bryan Parno |