cv
Curriculum vitae.
General Information
Full Name | Dionna Amalie Glaze |
Date of Birth | 20th July 1987 |
Languages | English, Japanese |
Education
-
2015 PhD
Northeastern University, Boston, MA - {"title"=>"Automating the Abstract Interpretation of Abstract Machines"}
-
2009 Bachelor's Degree of Science in Computer Science
University of Texas at Austin -
2009 Bachelor's Degree of Science in Pure Mathematics
University of Texas at Austin
Experience
-
2025 - Now Staff Software Engineer
Apple, Inc. - Private Cloud Compute attestation services for Apple silicon.
-
2021 - 2025 Senior Software Engineer
Google LLC - Lead the virtual firmware code signing and transparency project.
- Active in IETF standards definitions for code reference values in RATS framework.
- Mentor junior and peer developers in writing, influence, and task management.
-
2017 - 2021 Software Engineer
Google LLC - Developed confidential computing support for sandboxing.
- Maintained the toolchain for the Asylo.dev project.
Open Source Projects
-
2022 - Now go-sev-guest
- A safe interface for AMD SEV-SNP guest device interaction, and verification and validation logic for use by verifier roles.
-
2023 - Now go-configfs-tsm
- A safe interface for Linux TEE Security Module (TSM) interactions.
Academic Interests
-
Software analysis and formal methods
-
Cryptographic protocol verification
Other Interests
- Hobbies: Hosting dinner parties, reading, writing, chess, board games, video games, cooking.