Viewing profile — srinidhin
srinidhin
HN member- Joined
- Fri, Feb 02, 2018, 5:37 AM UTC
- HN karma
- 1
- Public activity
- 3 items
- HN profile
- View on Hacker News ↗
About srinidhin
No profile information was provided.
Recent public activity
- story
- story
-
comment
Comment #44438636
Location: Germany, EU Remote: Yes, prefer on-site Willing to relocate: Yes Technologies: Automated reasoning (TLA+, formal methods); Core distributed systems (consensus protocols t…