معرفی
Amit Levy is an Assistant Professor in the Department of Computer Science at Princeton University. He leads the Praxis lab and co-leads the SNS group, focusing on systems and security research. His work bridges practical system design with rigorous security guarantees, often leveraging programming language tools.
- Education:
- BSc in Computer Science and Economics, University of Washington (2009)
- PhD in Computer Science, Stanford University (2018)
- Research Interests:
- Secure system design for embedded and distributed environments
- Memory and type safety in low-level systems
- Trade-offs between security and performance
- Language-driven hardware-software co-design
- End-to-end data privacy
- Project Leadership:
- Principal developer of Tock OS, an embedded operating system written in Rust
- Co-founder of the Hails framework for web application data privacy
- Creator of Beetle for Bluetooth Low Energy access control
- Designer of Stickler for CDN integrity verification
- Architect of LARPs (Leak-Avoidant Resource Provisioners) for side-channel mitigation
- Scientific Awards:
- National Science Foundation CAREER award (2025)
- PhD Advisees:
- Natalie Popescu
- Anja Kalaba
- Shai Caspin
- Christopher Branner-Augmon
- Jingyuan (Leo) Chen
- Gongqi Huang
- Leon Schuermann
- Alumni: David Liu (PhD 2022), Ryan Torok (Masters 2022), Yue Tan (PhD 2024)
۰مقاله ثبتشده
