×
You are not logged in
Bluesky Profile
Ian Smith
Registered: 12 Nov 2024 02:46
Last post: n/a
Security engineer working on program analysis research things, currently compositional symbolic execution, type inference and some other stuff.
This account allows followers on Bluesky to be notified of new posts from this account.
| 2over124.bsky.social PDS: velvetfoot.us-east.host.bsky.network 2024-11-12 02:45:27 |