John Kastner

Currently working at AWS, previously at Correct Computation. Bachelors (2018) and masters (2021) degrees in computer science from University of Maryland.

Work

• Currently working on the Cedar policy language at AWS.
• Automated conversion from C to Checked C at Correct Computation. Now an independent open source project.

resume