Fred B. Schneider
Schneider's work helped bring formal reasoning and systems ideas to security. His career also demonstrates the importance of cyber-resilience research and institutional guidance alongside individual technical defenses.
Fred B. Schneider is a Cornell computer scientist whose research addresses concurrent and distributed systems for high-integrity and mission-critical settings. His work connects fault tolerance, formal methods, and computer security.
Systems and trustworthiness
Schneider's research has examined how systems can enforce security policies and remain dependable in the presence of failures or hostile behavior. Cornell materials describe work on language-based security, mobile-code integrity, and trustworthy services.
Cyber resilience
His professional service includes leadership connected with the U.S. National Academies' Forum on Cyber Resilience. This places technical work on trustworthy systems alongside broader questions of how society prepares for and recovers from cyber incidents.
Timeline
- 1978Completes a Ph.D. at SUNY Stony Brook and joins Cornell's faculty.
- 2001Cornell reports research on virus protection and security policy enforcement.
- 2014Begins serving as founding chair of the National Academies Forum on Cyber Resilience.
Fred B. Schneider
- Type
- Person
- Era
- 1970s-Present
- Known for
- Trustworthy distributed systems; Formal methods for security; Cyber-resilience research
- Tags
- computer-security, formal-methods, distributed-systems, trustworthy-systems, cyber-resilience
Created by Joas A Santos · Something wrong or want it removed? Open an issue.