Area of research
Artificial Intelligence · Computer Networks and Communications
Research interest
Research interests include Distributed systems and fault tolerance, Logic, programming, and type systems, Security and Verification in Computing, and Formal Methods in Verification.
Software Bill of Materials as a Proactive Defense
Cybersecurity Education in Universities
Fred B. Schneider is the Samuel B. Eckert Professor of Computer Science at Cornell University. He joined Cornell's faculty in Fall 1978 and served as department chair from 2014-2018. His Ph.D. (1978) is from Stony Brook University, having completed a B.S. in engineering at Cornell in 1975.
— 1978cited by 0position: selected
Assertional Methods for Analyzing and Deriving Fault-Tolerant, Real-time, Concurrent Programs
Concurrency and Distributed Systems
Software Testbed for Research in Real-Time, Reliable Systems
Research on Concurrency and Distributed Systems