Leslie Lamport<\/a>, and Adi Shamir.<\/p>\n\u201cMy management was extremely supportive throughout, and so were my colleagues. Since my teaching was concentrated over a small number of months, I could do a lot of the preparation work from my office at Microsoft Research Silicon Valley, which really helped.\u201d<\/p>\n
What these researchers hold in common is the firm belief that engagement with the academic world is a worthwhile, highly desirable activity. They are able to take on these external commitments thanks to support from their own organizations, which believe just as strongly in the value of reaching out to the academic community. The benefits accrue on both sides.<\/p>\n
As Cohn says, \u201cAn academic role helps put my work in perspective and context.\u201d<\/p>\n","protected":false},"excerpt":{"rendered":"
By Janie Chang, Writer, Microsoft Research For the past 11 years, the Microsoft Research Faculty Summit has brought academic and government research professionals together to share perspectives on new research, the challenges facing the research community, and ways to break new ground. The 12th version of this popular annual event, to be held July 18 […]<\/p>\n","protected":false},"author":39507,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"msr-url-field":"","msr-podcast-episode":"","msrModifiedDate":"","msrModifiedDateEnabled":false,"ep_exclude_from_search":false,"_classifai_error":"","footnotes":""},"categories":[194483,194488,194489],"tags":[213038,194845,213047,200979,213050,213044,213029,195573,201817,196255,202579,213041,213035,196900,213032,213053],"research-area":[13546,13560,13558],"msr-region":[],"msr-event-type":[],"msr-locale":[268875],"msr-post-option":[],"msr-impact-theme":[],"msr-promo-type":[],"msr-podcast-series":[],"class_list":["post-299177","post","type-post","status-publish","format-standard","hentry","category-mathematics","category-program-languages-and-software-engineering","category-security","tag-adjunct-professor","tag-biotechnology","tag-chair-of-information-technology-and-digital-sciences","tag-college-de-france","tag-computer-and-network-security","tag-computing-science","tag-concurrency-theory","tag-feng-wu","tag-henry-cohn","tag-luca-cardelli","tag-martin-abadi","tag-molecular-programming","tag-operational-semantics","tag-programming-languages","tag-type-theory","tag-verification-methods","msr-research-area-computational-sciences-mathematics","msr-research-area-programming-languages-software-engineering","msr-research-area-security-privacy-cryptography","msr-locale-en_us"],"msr_event_details":{"start":"","end":"","location":""},"podcast_url":"","podcast_episode":"","msr_research_lab":[199560,199561,199563,199565],"msr_impact_theme":[],"related-publications":[],"related-downloads":[],"related-videos":[],"related-academic-programs":[],"related-groups":[144711],"related-projects":[],"related-events":[199736],"related-researchers":[],"msr_type":"Post","byline":"","formattedDate":"July 18, 2011","formattedExcerpt":"By Janie Chang, Writer, Microsoft Research For the past 11 years, the Microsoft Research Faculty Summit has brought academic and government research professionals together to share perspectives on new research, the challenges facing the research community, and ways to break new ground. The 12th version…","locale":{"slug":"en_us","name":"English","native":"","english":"English"},"_links":{"self":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/posts\/299177"}],"collection":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/users\/39507"}],"replies":[{"embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/comments?post=299177"}],"version-history":[{"count":4,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/posts\/299177\/revisions"}],"predecessor-version":[{"id":299207,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/posts\/299177\/revisions\/299207"}],"wp:attachment":[{"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/media?parent=299177"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/categories?post=299177"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/tags?post=299177"},{"taxonomy":"msr-research-area","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/research-area?post=299177"},{"taxonomy":"msr-region","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-region?post=299177"},{"taxonomy":"msr-event-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-event-type?post=299177"},{"taxonomy":"msr-locale","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-locale?post=299177"},{"taxonomy":"msr-post-option","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-post-option?post=299177"},{"taxonomy":"msr-impact-theme","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-impact-theme?post=299177"},{"taxonomy":"msr-promo-type","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-promo-type?post=299177"},{"taxonomy":"msr-podcast-series","embeddable":true,"href":"https:\/\/www.microsoft.com\/en-us\/research\/wp-json\/wp\/v2\/msr-podcast-series?post=299177"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}