Fred B. Schneider (opens in new tab)

My research is intended to support the construction of concurrent and distributed systems for high-integrity and mission-critical settings. Fault-tolerance and security are critical in such settings.