sriramsundar
Sriram Sundararajan
Software Engineering consultant interested in real-time safety critical software, rust and formal specification.
Irvine CA
It is proven!
sriram_sun and sriramsundar are the same person, with the same public keys. You can see the proof or close this notice.
