I am a Research Staff Member 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 this following open source projects:
- 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
- wcs-ocaml: a library use the Watson Conversation Service from OCaml
I am also participating to the organization of the IBM Programming Languages Day.