机构名称：
¥ 1.0
MIRI, summer 2019: Formalized type theories, and proved properties of programs that reason about themselves Google, summer 2018: Worked on integration of Fiat Cryptography with BoringSSL in Chrome Google, summer 2016: Extended Fiat Cryptography with ECC primiatives for integration with Open Titan Microsoft Research, summer 2014: Collaboratively created a language for specifying in- put/output behavior of x86 assembly programs, ver ed the input/output behavior of a number of simple programs, and improved performance of the x86proved project MIT CSAIL PLV, 20122014: Entered a signi cant amount of category theory into the au- tomated proof assistant Coq, and worked on building an interface for databases and database migration on top of category theory MIT CSAIL CoCoSci, 20092011: Designed and managed the data collection webpage for research in categorical learning and transfer learning Commack High School, 2006年2009年：对自然数量集的研究电路，赢得第四名（2009）和第三（2008年）在ISEF中获得数学奖项
Jason Gross
主要关键词
相关文件推荐
