I am working at Criteo where I tried to mix two domains that interested me a lot : machine learning (with a preference to bayesian approach) and programming languages (from compilation to good practices).
Before, I spent some time doing a PhD in machine learning and then I worked on Opa, a great but unknown programming language, in a french company named mlstate.
I was a inconditional fan of ML type languages (strict typing, type inference, rich type, compiled, pattern matching) until I discover Python 3 years ago. After a small period of dislike I understood that the grass could also be green when you can shoot your-self in the foot but have acces to very powerfull expressive power.