Hi, While creating the new version of the website I noted that the people page is fairly out of date. For example based on LinkedIn and Google I noted:
Yongqiang He is at Dropbox Raghotham Murthy is a Stanford Grad student? Namit Jain is at Nutanix Carl Steinbach is at LinkedIn Additionally I noted that HW as two different capitalizations. I am a touch OCD. :) Should we go ahead an update the page? Cheers, Brock
