About Sriram Sundararajan

Software Engineer - Interested in systems, formal verification and PL. Day job - Real-time systems, DevOps.

Currently learning: guix, Rust, Parenting
https://www.tinverse.com

Location: Irvine CA

Lists

Timeline

sriram has no activity yet