小米程序员名字叫什么

雷军是小米的创始人和董事长，同时也是一位资深的程序员。他在武汉大学计算机系学习，并在大三时就开始编写程序，成为了百万富翁。1991年，雷军加入金山软件，担任程序员，并在7年后成为金山软件的总经理。后来，他创办了小米，并在公司的发展过程中，积极推动编程教育的发展，致力于培养年轻的编程人才。

因此，如果要提到小米的程序员名字，雷军是一个重要的代表。此外，虽然文档中提到了其他一些工程师和团队成员，但没有具体信息表明他们是否是主要的程序员或是否在编程领域有显著贡献。