Rust编程语言设计研究
a. 研究 Rust 的所有权、借用和生命周期机制的形式化模型，验证其内存安全性和并发安全性的理论基础
b. 探索如何扩展 Rust 的类型系统以支持更复杂的静态分析（如线性类型、依赖类型等），或解决现有类型系统的局限性
c. 研究如何进一步提升 Rust 并发模型的安全性，例如对无锁数据结构、分布式系统等场景的更优支持
Rust运行时研究
a. 改进异步运行时（如 Tokio、async-std）的性能和可扩展性，研究如何降低异步代码的复杂性和资源消耗
b. 探索轻量级并发模型的实现，例如结合 async/await 与无栈协程的更高效抽象
Rust跨语言交互与生态研究
a. 研究如何安全地与其他语言（如 C/C++、Java）交互，避免因跨语言调用导致的内存安全问题、性能问题
b. 推动关键领域库的完善（如游戏引擎、GUI 框架、科学计算库）