Fraser Brown 是加密基础设施公司 Cubist 的联合创始人兼首席技术官，同时担任卡内基梅隆大学（CMU）计算机科学学院软件与社会系统系的助理教授。她的研究重点集中在安全性和程序正确性领域，涵盖从验证（部分）生产系统到自动查找真实代码库中的可利用错误。她开发的自动化安全分析工具在 Chrome 和 Firefox 等主流浏览器中发现了多个零日漏洞和 CVE 安全漏洞。此外，Fraser 还从事编译器研究工作，与 Cubist CEO Riad 等人合作开发了用于密码证明系统的 CirC 编译器。Fraser 在斯坦福大学获得英语学士学位，随后获得计算机科学硕士学位和博士学位，并曾获得美国国家科学基金会（NSF）研究生研究奖学金资助。
在斯坦福大学获得了英语学士学位，展现了跨学科的学术背景，为后续的计算机科学研究奠定了人文基础。
在斯坦福大学完成计算机科学硕士学位和博士学位，专注于安全性与程序正确性研究方向，并获得美国国家科学基金会（NSF）研究生研究奖学金资助。
受聘于卡内基梅隆大学计算机科学学院（软件与社会系统系），担任助理教授，开展安全性和程序正确性相关研究。
开发的安全分析工具在流行的 Chrome 和 Firefox 浏览器中发现了许多零日漏洞和 CVE，为浏览器安全做出重要贡献。
安全性和程序正确性是现代软件系统的基础保障，自动化工具对于发现真实代码库中的可利用漏洞至关重要。
编译器在密码证明系统中扮演关键角色，CirC 编译器的开发旨在弥合高级密码学规范与底层电路实现之间的鸿沟。
验证生产系统的部分安全属性，能够在保障系统性能的同时显著提升安全性。
