Varadhan, probabilist and Fellow of the Royal Society

I have met Varadhan once, and one day hope to understand his deep theoorems with Stroock.