基本信息
浏览量:639
职业迁徙
个人简介
Andy Gordon leads Calc Intelligence at Microsoft Research, bringing intelligence to end-user programming, especially spreadsheets. Calc Intelligence partners closely with Microsoft Excel: features such as LAMBDA and Calc.ts, arising from their mission to enhance Excel as a programming language, ship now in production to many millions of customers.
Andy’s research is on programming languages: their principles, logic, usability, and trustworthiness.
Ideas from his work have had impact on several best-in-class programming languages, including Excel, the world’s most widely used programming language. The idea of refinement types for verifying security-critical code in the F7 typechecker was adopted by F*, a widely used language for verified code. The idea of information-flow levels for probabilistic programs in Tabular, a language for machine learning on spreadsheet tables, has been adapted to Stan, the most widely used probabilistic programming language. The idea of symbolic crypto in process calculus in the spi calculus (with M. Abadi), is a key underpinning for ProVerif, the most widely used language for symbolic verification of crypto protocols. His pioneering papers on process calculi for mobility and security were influential in the research community: his ETAPS 1998 paper on the ambient calculus (with L. Cardelli) is the most widely cited paper ever at ETAPS, the major European research conference on theory and practice of software. His PhD research was on I/O for Haskell: he invented the “>>=” symbol, and served on the Haskell Committee to standardize monadic I/O.
As a research manager for a decade, Andy is passionate about diversity and inclusion.
ACM Fellow in 2020
Andy’s research is on programming languages: their principles, logic, usability, and trustworthiness.
Ideas from his work have had impact on several best-in-class programming languages, including Excel, the world’s most widely used programming language. The idea of refinement types for verifying security-critical code in the F7 typechecker was adopted by F*, a widely used language for verified code. The idea of information-flow levels for probabilistic programs in Tabular, a language for machine learning on spreadsheet tables, has been adapted to Stan, the most widely used probabilistic programming language. The idea of symbolic crypto in process calculus in the spi calculus (with M. Abadi), is a key underpinning for ProVerif, the most widely used language for symbolic verification of crypto protocols. His pioneering papers on process calculi for mobility and security were influential in the research community: his ETAPS 1998 paper on the ambient calculus (with L. Cardelli) is the most widely cited paper ever at ETAPS, the major European research conference on theory and practice of software. His PhD research was on I/O for Haskell: he invented the “>>=” symbol, and served on the Haskell Committee to standardize monadic I/O.
As a research manager for a decade, Andy is passionate about diversity and inclusion.
ACM Fellow in 2020
研究兴趣
论文共 253 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Shraddha Barke,Christian Poelitz,Carina Suzana Negreanu,Benjamin Zorn,José Cambronero,Andrew D. Gordon,Vu Le,Elnaz Nouri,Nadia Polikarpova,Advait Sarkar, Brian Slininger, Neil Toronto,
CoRR (2024)
引用0浏览0EI引用
0
0
Kasra Ferdowsi,Jack Williams, Ian Drosos,Andrew D. Gordon,Carina Negreanu,Nadia Polikarpova,Advait Sarkar,Benjamin Zorn
2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCCpp.82-91, (2023)
2023 IEEE SYMPOSIUM ON VISUAL LANGUAGES AND HUMAN-CENTRIC COMPUTING, VL/HCCpp.31-40, (2023)
Andrew D. Gordon,Carina Negreanu,José Cambronero, Rasika Chakravarthy, Ian Drosos, Hao Fang,Bhaskar Mitra, Hannah Richardson,Advait Sarkar, Stephanie Simmons,Jack Williams,Ben Zorn
CoRR (2023)
引用0浏览0EI引用
0
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn