基本信息
浏览量:177
职业迁徙
个人简介
Schneider's research has focused on various aspects of trustworthy systems --- systems that will perform as expected, despite failures and attacks. His early work concerned formal methods to aid in the design and implementation of concurrent and distributed systems that satisfy their specifications. He is author of two texts on that subject: On Concurrent Programming and (co-authored with D. Gries) A Logical Approach to Discrete Mathematics. He is also known for his research in theory and algorithms for building fault-tolerant distributed systems. His paper on the "state machine approach" for managing replication received (in 2007) an SOSP "Hall of Fame" award for seminal research. And his paper on fail-stop processors (with Richard Schlichting) received the Jean-Claude Laprie Award in Dependable Computing. More recently, his interests have turned to system security. His work characterizing what policies can be enforced with various classes of defenses is widely cited, and it is seen as advancing the nascent science base for security. He is also engaged in research concerning legal and economic measures for improving system trustworthiness.
研究兴趣
论文共 400 篇作者统计合作学者相似作者
按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Michael Vai,David Whelihan, Eric Simpson,Donato Kava,Alice Lee,Huy Nguyen, Jeffrey Hughes, Gabriel Torres, Jeffery Lim,Ben Nahill,Roger Khazan,Fred Schneider
2023 IEEE HIGH PERFORMANCE EXTREME COMPUTING CONFERENCE, HPECpp.1-5, (2023)
user-618b9223e554220b8f2595ad(2021)
引用0浏览0引用
0
0
user-5f8411ab4c775e9685ff56d3(2021)
引用0浏览0引用
0
0
arxiv(2021)
引用1浏览0EI引用
1
0
加载更多
作者统计
合作学者
合作机构
D-Core
- 合作者
- 学生
- 导师
数据免责声明
页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn