avatar

Sriram Sundararajan

@[email protected]

Joined: 11/14/2022



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: github.com/tinverse/tsm
github.com/tinverse/noddy

Location: Irvine CA

Lists

sriram has no public lists

Timeline

sriram has no activity yet