About me
Advisory Software Engineer
Address: IBM T.J. Watson Research Center
19 Skyline Drive
Hawthorne, NY 10532
e-mail: egeay@us.ibm.com
Research lab: Watson Research Center (Hawthorne)
I am an Advisory Software Engineer at the IBM T. J. Watson Research Center, working in the area of Programming Languages and Software Engineering, in the Advanced Programming Tools group.
Research Interests
Programming Languages, Compilation, Automated Deduction, Code Verification, Test case generation, Specification Languages, Automated Refactorings.
Read more
Last updated 2 Apr 2009