About Sriram Sundararajan

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

Currently learning: guix, Rust, Parenting

Code doodles: https://github.com/tinverse/tsm
https://github.com/tinverse/noddy

Location: Irvine CA

Lists

Timeline

sriram has no activity yet