We lost a great technology pioneer today - thank you Paul Allen for your immense contributions to the world through your work and your philanthropy. Thoughts are with his family and the entire Microsoft community.

— Sundar Pichai (@sundarpichai) October 15, 2018