Viewing profile — whoshiring111
whoshiring111
HN member- Joined
- Sun, Feb 11, 2024, 12:55 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About whoshiring111
No profile information was provided.
Recent public activity
-
comment
Comment #39334783
I am a scientist working on formal methods applied to security, especially at the software/hardware boundary. I have experience in formally verified compilation and software formal…