Professional. I am a Research Scientist at the T.J. Watson Research Center in New York. My research background is in databases (notably query languages design and query compilers) and programming languages (notably type systems, compilers and verification). Some of my recent work include: programming models for conversation systems (chatbots), formally verified query compilers, and large-scale data processing for Cloud platforms.
I was a key contributor to the W3C XQuery language from 1999 to 2009. Before joining IBM, I was at Bell Laboratories from 1999 to 2004 and I hold a PhD in Computer Science from University of Orsay (Paris XI).
I have made various contributions to IBM products over the years, including the WebSphere product line and Cognos (XML Feature Pack), DataPower, IBM BigSQL, and IBM's Operational Decision Manager (ODM Advanced).
I have also made contributions to open-source: I am a lead developer for Q*cert, a platform for building query compilers implemented using the Coq proof assistant. I have also worked on Galax, one of the earliest XQuery implementations, and on wcs-ocaml, a sdk in OCaml and a command line interface for the Watson Conversation Service.
I am a co-organizer for IBM Programming Language Day 2017.
- 2015. Distinguished Artifact Award at ECOOP conference for A Pattern Calculus for Rule Languages: Expressiveness, Compilation, and Mechanization.
- 2010. Alberto O. Mendelzon. Test-of-Time Award at the ACM Principles of Database Systems
Conference for 2000 paper on Integrity Constraints for XML.
- 2008. IBM Extraordinary Accomplishment for contributions to XML standards and their application to Web services.
- 2002. Best paper award at the First International Semantic Web Conference (ICSW) for Building the Semantic Web on XML.
- 2002. Best paper award finalist at the Eleventh International World Wide Web Conference for The Yin/Yang Web: XML Syntax and RDF Semantics.
Personal. I am interested in the performing arts. I play the piano. Lately I have been playing mostly chamber music. I am a co-founder of Between the Seas, a Festival of Performing Arts for the Meditteranean which has been running in New York and Athens since 2011. I occasionally blog about computer science and other topics at ashortdistanceahead.