@sbjoshi@mastodon.sdf.org
Joined: 11/11/2022
4
Followers
6
Following
Computer Science Researcher (interested in Formal Verification, Program Analysis, Constraint Solving, Distributed Systems ....)
sbjoshi has no public lists
sbjoshi has no activity yet