2 ms·

I wouldn't be surprised, they are very happy to pay smart people to work part time on their favorite problems (Simon Peyton Jones for example)