-

-

Aaron Eline

Blog

Reading List

Made on mmm

aaroneline.com

Aaron Eline

Something about yourself

About Me

I’m a computer science researcher in the field of Automated Reasoning. My principal focus is exploring how we can develop systems that are orders of magnitude more trustworthy than current designs. My current research areas are:

  • Programming Language Theory/Design

  • Automated Testing

  • Formal Verification

  • Security

For the past three years I worked on a DSL for authorization called Cedar. In developing Cedar we explored a new engineering workflow we called “verification-guided development“.

I am also deeply interested in computer history. Computing is an incredibly path-dependent field, and exploring those hinge points alongside the politics of the cold-war is very rewarding.

Contact

Publications