I’m a Senior Principal Researcher in the RiSE (opens in new tab) group at MSR Redmond. My work covers various topics including type systems, program logics, functional programming, program ...
Anand Rathi Wealth Ltd., incorporated in the year 1995, is a Large Cap company (having a market cap of Rs 15,028.40 Crore) operating in NBFC sector. Anand Rathi Wealth Ltd. key Products/Revenue ...