Sort
By YearBy Citation
Add Paper
View All
Claim
Martín AbadiProfessor Emeritus
views: 2214
Information
Professor Emeritus
Sign in to view more
Experience
Sign in to view more
Education
Sign in to view more
Bio
Research Interests
Computer and network security
Principles of programming languages
Specification and verification methods
He is well known for his work on computer security and on programming languages, including his paper (with Michael Burrows and Roger Needham) on the Burrows–Abadi–Needham logic for analyzing authentication protocols, and his book (with Luca Cardelli) A Theory of Objects, laying out formal calculi for the semantics of object-oriented programming languages.
In 1993, he published the programming language Baby Modula-3, a safe subset or sublanguage of Modula-3, based on functional programming and set theory ideals.
Computer and network security
Principles of programming languages
Specification and verification methods
He is well known for his work on computer security and on programming languages, including his paper (with Michael Burrows and Roger Needham) on the Burrows–Abadi–Needham logic for analyzing authentication protocols, and his book (with Luca Cardelli) A Theory of Objects, laying out formal calculi for the semantics of object-oriented programming languages.
In 1993, he published the programming language Baby Modula-3, a safe subset or sublanguage of Modula-3, based on functional programming and set theory ideals.
Research Interests
Papers
Author Statistics
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果，我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问，可以通过电子邮件方式联系我们：report@aminer.cn