[tsuru]

I think they also use Common Lisp with their work on D-wave quantum computers. I'd still wager the ITA group has the lion share of Lisp though.