Ian Smith

@2over124.bsky.social

14 Followers · 20 Following

Security engineer working on program analysis research things, currently compositional symbolic execution, type inference and some other stuff.

Nothing here yet.