@bdemsky.bsky.social
297 Followers · 256 Following
CS professor. PL/Model Checking/Concurrency.
Nothing here yet.
