RustBelt: Logical Foundations for the Future of Safe Systems

Jane Street is a quantitative trading firm and liquidity provider with a unique focus on technology and collaborative problem solving.

Related Keywords

United Kingdom , British , Tony Hoare , Software Systems , Aaron , Coq Proof , Whichi M , Because Arc ,