Viewing profile — rafishalom
rafishalom
HN member- Joined
- Fri, Aug 01, 2025, 12:49 PM UTC
- HN karma
- 1
- Public activity
- 1 items
- HN profile
- View on Hacker News ↗
About rafishalom
No profile information was provided.
Recent public activity
-
comment
Comment #44774247
Location: Remote Willing to relocate: No Researcher with industry experience (PhD in CS, reactive synthesis, ICSE/FSE papers). Strong foundation in logic, formal methods, and theor…