RustBelt: Logical Foundations for the Future of Safe Systems Programming :: Jane Street

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 ,