= Fred B. Schneider
{c}
{wiki}
<Fred B. Schneider> studies dependable <concurrent computing> and <distributed systems>, including fault tolerance and <computer security>.https://www.cs.cornell.edu/fbs/[research statement]{ref} He coauthored <Defining Liveness by Bowen Alpern and others>, which distinguishes a <safety property> from a <liveness property>: finite behaviour can establish an irreparable safety violation, whereas every finite behaviour prefix can still be extended to satisfy the liveness requirement.<Defining Liveness by Bowen Alpern and others>[§§2–3]{ref}
\Image[https://www.cs.cornell.edu/fbs/fbs.jpg]
{title=Portrait of <Fred B. Schneider>}
{description=Photograph from Cornell University's official researcher profile.}
{source=https://www.cs.cornell.edu/fbs/}
{width=260}
Back to article page
