Emmanuel Geay

About me

Emmanuel Geay

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