- π Iβm currently working:
- for AWS/Ξ»
- on rust-lang/clippy
- on A symbolic data generation engine
- π± Iβm currently learning about:
- Database and query engine internals
- Symbolic execution
- Formal methods
- i am open to the right job; remotely or in Dublin
m-rph Goto Github PK
Name: Quinn Sinclair
Type: User
Company: AWS
Bio: SDE @aws / Lambda
Location: Dublin