Ted Kaminski tedinski@hachyderm.io
🦀🥳
Previously: Kani Rust Verifier @ AWS, Services/Security @ AWS, PhD @ UMN.
Jordan @jrose@social.belkadan.com
He/him or they/them, but not both. Formerly Swift at Apple, now at Signal.
(Was UINT_MIN on Twitter.)
🦀🥳
Previously: Kani Rust Verifier @ AWS, Services/Security @ AWS, PhD @ UMN.
He/him or they/them, but not both. Formerly Swift at Apple, now at Signal.
(Was UINT_MIN on Twitter.)