@ewsmith.bsky.social
259 Followers · 94 Following
formal methods researcher, CEO of Kestrel Institute
Nothing here yet.
