معرفی
Will Crichton is an Assistant Professor of Computer Science at Brown University. His research bridges programming language theory and cognitive psychology to improve developer experience, particularly in Rust and type systems. He has developed tools like Flowistry (Rust IDE plugin) and Argus (trait error debugger) used by over 100,000 developers.
- Education: PhD from Stanford University (2022), advised by Pat Hanrahan and Maneesh Agrawala
- Prior Roles: Postdoctoral researcher with Shriram Krishnamurthi at Brown University
His research focuses on:
- Type Systems: Creating usable type-level programming frameworks like Tyrade
- Rust Ecosystem: Ownership models, trait error debugging, and learning tools
- Human Factors: Applying cognitive psychology to programming language design
Key contributions include:
- Interactive visualizations for Rust (AquaScope)
- Scientific programming workshops and educational materials
- Foundational work on security type systems and session types in Rust
۰مقاله منتشرشده
