李沫南

奇点智能研究院首席技术咨询师

研究院研究员，对大语言模型、深度学习、自然语言处理、全文检索系统、数据库引擎、编程语言理论 和 程序的形式化验证的相关方法有深入研究，熟悉编译器的定制开发、特别是GCC、LLVM 的前端、MLIR等。在内存模型、安全机制、分布式系统、编程开发方法、软件架构等领域拥有广泛经验。曾任 Firefox Gecko资深架构师、Lambda基金会首席架构师、PingCap 技术顾问、Coreseek的技术负责人。