 |
|
|
Explanation: I am a third year graduate student in Computer Science at the University of Virginia. I am interested in programming languages; my research is primarily focused on automatic error detection and repair. I am advised by Wes Weimer. Pronunciation: My last name is pronounced "Le-Gwess." By default, Bibtex will butcher it (turning me into Goues, C.L.); I always appreciate judiciously applied brackets ({Le Goues}). Education: I received an M.S. in Computer Science from the University of Virginia in 2009. My thesis was entitled Specification Mining with Few False Positives. I received a B.A. in Computer Science from Harvard College in 2006. My thesis was entitled "Algebraic Type Isomorphisms," and was advised by Greg Morrisett. Awardification:
Employment: I interned at MSR Redmond during the Summer of 2009. I spent a year employed as a Software Engineer at IBM in Cambridge, MA, where I specialized in rapid XML processing; I also completed two internships with IBM research while an undergraduate. Please consult my C.V. for more details. |
|