I am a Research Staff Member in the Programming Technologies Department at the Watson Research Center.
My main research topic is on the design and implementation of programming languages. I have developed the following languages:
Since I joined IBM, I have worked on many different projects which includes:
- X10: a language for high-performance, high-productivity computing
- CloudLens: a scripting language to analyze semi-structured textual data
- Q*cert: a query compiler written the Coq proof assistant
I am also participating to the organization of the IBM Programming Languages Day.