Jimmy Koppel

他在圣路易斯县西部（West St. Louis County）长大；Strange Loop大会的演讲者介绍也称他是圣路易斯人。St. Louis Jewish Light写道，父母很早就知道他格外聪明；母亲回忆，他一岁还不会说话时，就会把100片的拼图摊开，在地上爬来爬去把它们拼好。报道还写道，他5岁时说要像Bill GatesBill GatesBill Gates（比尔·盖茨）是美国企业家、投资人和慈善家，1975年与 Paul Allen 共同创办 Microsoft，曾任首席执行官和董事长。此后他逐步转向全球健康、教育与气候相关工作，担任 Gates Foundation 主席，并通过 Cascade 等机构管理投资。点击查看完整词条一样当创业者，10岁时决定长大后要做电子游戏。⁠[1][2]

他先在McKelvey Elementary上学，因为远远领先同班同学，父母让他在家上学；六年级起，他参加St. Louis Regional Program for Exceptionally Gifted Students，在Lindbergh High School上课，17岁毕业。他在2019年的播客中提到，自己第一次上计算机科学课是在高中。⁠[1][3]

他在Carnegie Mellon UniversityCarnegie Mellon UniversityCarnegie Mellon University（CMU）是位于美国宾夕法尼亚州匹兹堡的私立研究型大学。学校前身是 Andrew Carnegie 于1900年出资创办的 Carnegie Technical Schools，1912年改名 Carnegie Institute of Technology，1967年与 Mellon Institute 合并后定名为今名。学校以计算机科学、机器人、工程与艺术等领域著称，在卡塔尔、硅谷和卢旺达设有校区。截至2025年9月，全校注册学生16,582人。现任校长为 Farnam Jahanian。2026年9月30日，学校宣布获得 Ken Griffin 30亿美元捐赠，并将在迈阿密兴建新校区。点击查看完整词条主修计算机科学与数学科学。CMU News写道，他在大一快结束时“woke up and realized something was wrong”（醒来意识到有些事不对），决心消除软件开发中枯燥乏味的部分，此后把学习重点放在静态分析和程序语言上，并开始在Institute for Software Research与Jonathan Aldrich合作；后来他进一步专注于自动完成软件架构层面的修改，这类修改往往需要在成千上万处做细小而相似的改动。⁠[4]

他担任过课程15-251“Great Theoretical Ideas in Computer Science”的助教，也是学校程序设计竞赛队的活跃成员；CMU News在2012年7月2日写道，他所在的队伍上个月在波兰华沙举行的ACM-ICPC World Finals上并列第18名。Mirdin网站上的个人介绍把这一成绩列为2012年ACM-ICPC World Finals荣誉奖（Honorable Mention）。⁠[4][5]

2012年6月12日，VentureBeat刊出由Peter ThielPeter ThielPeter Thiel 是美国企业家和投资人，PayPal 与 Palantir Technologies 的联合创始人，也是 Facebook 的首位外部投资者。他是风险投资机构 Founders Fund 的合伙人，创办了资助年轻人放弃大学去做新事物的 Thiel Fellowship，他公开质疑高等教育、2016年支持特朗普并资助针对 Gawker Media 的诉讼，这些做法引发争议。点击查看完整词条创立的Thiel FellowshipThiel FellowshipThiel Fellowship 是投资人 Peter Thiel 发起、由 Thiel Foundation 运营的两年期资助项目，资助跳过或中止大学学业、转而动手做新事物的年轻人。项目因鼓励年轻人离开大学而受到教育界人士批评。点击查看完整词条新一届入选者名单，他名列其中；名单写他来自密苏里州密苏里州密苏里州是美国的一个州，东以密西西比河为界；首府为Jefferson City，最大城市为堪萨斯城，第二大城市为圣路易斯。该州于1821年8月10日加入联邦，为第24个州；2020年人口普查（2020年4月1日）人口为6,154,913人（约615.5万人）。点击查看完整词条圣路易斯，热衷于软件工程，并打算让软件工程大大提高效率：如今修改软件往往需要数十万处细小而相似的调整，耗费大量时间和金钱，他将开发自动完成这一过程的新工具。⁠[6][4]

Carnegie Mellon University在2012年7月2日的简讯写道，时年20岁的他是Thiel Foundation第二届“20 Under 20”计划选出的20名年轻创业者之一；这项为期两年的资助包括10万美元，以及来自基金会由科技创业者、投资人和科学家组成的人脉网络的指导。简讯还写道，这一届的申请来自40多个国家、350多所高中、大学和研究生院；Thiel Foundation总裁Jonathan Cain说：“We continue to be blown away by the quality of ideas coming from 20 Under 20 applicants”（20 Under 20申请者的创意质量一再令我们惊叹）。⁠[4]

关于他当时的学业，两种说法并存。CMU News称他是大四学生，已利用当年夏天修课完成双学位，预计12月取得学位，但退出了数学硕士项目；St. Louis Jewish Light写道，他已修完Carnegie Mellon University的课程，将于12月获得计算机科学和数学双学位，母亲Suellen M. Koppel说他用三年读完了Carnegie Mellon University。他本人在2019年的播客中则回忆，2012年入选时自己是Carnegie Mellon University的大三学生，“I did not have a senior year. I just left”（我没有读大四，就这样离开了），但因为三年里非常努力，仍然拿到了两个学位；他原本打算读硕士，后来退出。Mirdin网站上的个人介绍列出他于2012年获得Carnegie Mellon University计算机科学学士和数学学士学位。⁠[4][1][3][5]

St. Louis Jewish Light在2012年8月2日的报道写道，名单公布八天后，他在旧金山接受电话采访，说这笔资助已经改变了他的生活，没有它，他此刻可能正在某个办公室上班，而不是在自家客厅接受采访。他说未来两年将研究新的软件开发工具，并以千年虫（Y2K）问题为例：把四位数年份缩成两位只是很小的改动，却要在成千上万处修改，修正花费了3000亿美元；他正在开发自动完成具有这类特征的工作的工具，认为这项Fellowship是解决这一问题的最佳途径。CMU News同样以千年虫为例，写道其修正花费了3000亿美元。⁠[1][4]

Jonathan Cain在该报道中说：“Jimmy has a vision where programmers are more like builders than handymen”（Jimmy的愿景是让程序员更像建造者而不是修理工），还说他在开发无需访问源代码即可操纵程序的系统。⁠[1]

Fellowship要求入选者离开学校专心做项目，这起初让他的父母有些担心。母亲说，他告诉家人自己申请了这笔资助、如果入选就会从大学退学时，家人“were not thrilled”（并不高兴）；父亲Ralph Koppel说：“What truly is amazing about Jim is his drive”（Jim真正了不起的是他的干劲），又说：“He has extremely high ambitions and he totally devotes himself to them”（他抱负极高，并且全身心投入其中）。报道还写道，获得资助前，他曾和父亲谈到过“Ramen noodle lifestyle”（靠泡面度日的生活）。父母都表示，很高兴他能得到导师指导和资金支持。⁠[1]

Strange Loop大会的演讲者介绍写道，进入MITMassachusetts Institute of TechnologyMassachusetts Institute of Technology（麻省理工学院，简称MIT）是位于美国马萨诸塞州剑桥的私立研究型大学，1861年获马萨诸塞州颁发特许状，1865年招收首批学生，1916年由波士顿迁至现址。截至2025年10月，学校有学生11,816人，学校统计其社群成员中有106位诺贝尔奖得主。点击查看完整词条之前，他是Apptimize的第三名员工，并创办了致力于自动修复程序缺陷的初创公司Tarski Technologies。⁠[2]

他在Mirdin网站上的个人介绍中写道，自己曾创办一家开发者工具公司，又先后在另外两家公司工作；21岁进入Apptimize时，是他大学毕业一年半以来第一次为别人工作。⁠[5]

他在2019年的播客中回忆，在为期两年的Fellowship中，他用了大约一年半时间在一家公司尝试编写能修复其他程序缺陷的程序，结果“wound up not going so well”（最后不太顺利）；他把原因归结为技术尚不成熟、自己边做边学，以及“a good product idea is not a good business idea”（好的产品想法并不等于好的商业想法）。⁠[3]

Mirdin网站上的个人介绍列出他在2015年获得NSF Fellowship。⁠[5]

他在Mirdin网站上的个人介绍中写道，自己从18岁起就执着于自动化软件维护的问题，由此深入钻研程序语言理论和程序分析；2019年CoRecursive节目的主持人也引用过他网站上的这句话。他写道，19岁时，他开始思考自己在形式验证和程序分析方面的技术训练能否引出关于如何写出更好软件的深层原则；在几次分享知识之后，他意识到“I could have far greater impact in an hour of coaching than an hour of coding”（一小时的辅导能比一小时的编程产生大得多的影响），于2016年初开始从事职业辅导。该页面还列出他是International Coaching Federation的Associate Certified Coach。他的博客Path-Sensitive在网站介绍中称他为MIT博士、Mirdin创始人。⁠[5][3][7]

Mirdin网站上的个人介绍列出他于2017年获得Massachusetts Institute of Technology计算机科学硕士学位。⁠[5]

2019年8月16日，Adam Gordon Bell主持的CoRecursive播客发布第36期节目“Advanced Software Design”，嘉宾是他。节目介绍写他正在Massachusetts Institute of Technology攻读程序合成方向的博士，并借助程序合成研究的心得教人设计更好的软件。⁠[3]

他在节目中介绍了自己开设的“advanced software design web course”（高级软件设计网课），课程有大量练习并对练习给出反馈，下一期于8月23日开课、招收15人；他也提供辅导（coaching），并写有小册子“Seven Mistakes that Cause Fragile Code”（导致代码脆弱的七个错误）。他把自己教的方法称为RAD流程，即“reduce assumptions, add openness, diminish complexity ratchets”（减少假设、增加开放性、削弱复杂性棘轮），并自称这是一个“forced acronym”（硬凑的缩写）。⁠[3]

他说自己的人生目标是把软件维护的效率提高100倍：其中10倍要靠开发者养成推理代码逻辑、限制假设的习惯，另外10倍“is going to have to come from tools”（得靠工具）。他认为“Don't repeat yourself”只是一个简化版本，真正的教训是不要重复概念；他说自己没找到一本称得上讲授高级软件设计的书，因为“no one knows how to teach it, and my work has changed that”（没人知道怎么教，而我的工作改变了这一点）；还说“I don't think anyone alive today deserves the title 'Grandmaster Programmer'”（我认为当今在世的人都配不上编程大师这一称号）。他建议仿照Benjamin FranklinBenjamin FranklinBenjamin Franklin（本杰明·富兰克林，1706年1月17日—1790年4月17日）是北美殖民地与美国建国时期的印刷商、出版人、科学家、外交家和政治家，美国开国元勋之一。他在费城经营《Pennsylvania Gazette》并出版《Poor Richard's Almanack》，创办北美首家借阅图书馆，倡议创办后来的宾夕法尼亚大学；他以电学实验和避雷针等发明闻名，曾任美国首任邮政总长，参与起草《独立宣言》，在法国签订美法条约，并签署结束独立战争的《巴黎条约》。点击查看完整词条在自传中记述的无师自通练习写作的方法读编程书：为书中的程序片段写下它做什么的描述，几天后再回来据此写出程序；更省事的做法是看完一页后翻过去、移开视线，再试着把程序写出来。⁠[3]

他还回忆，几年前曾在得克萨斯州得克萨斯州得克萨斯州是位于美国中南部的一个州，首府为Austin，最大城市为休斯敦。该州于1845年12月29日加入联邦，为第28个州；2020年人口普查（2020年4月1日）人口为29,145,505人（约2914.6万人）。点击查看完整词条的Semantic Designs公司工作了几个月，那是一个夏天，也是他离开加利福尼亚州加利福尼亚州加利福尼亚州是美国濒临太平洋的一个州，首府为Sacramento，最大城市为洛杉矶。加利福尼亚于1850年9月9日加入联邦，为第31个州。2020年人口普查（2020年4月1日）人口为39,538,223人（约3953.8万人），居各州之首。点击查看完整词条后第一次有车。他介绍，那里的一个项目是为一家拥有约一千座工厂的大型化工企业做设计恢复：这些工厂的控制代码用一种过时的语言写成，团队通过反编译恢复出高层操作，再翻译成Python，到录制节目时大概已移植了一百多座工厂。⁠[3]

2021年9月，他在Massachusetts Institute of Technology电气工程与计算机科学系的博士论文“Meta-metaprogramming”（元元编程）发表，收录于DSpace@MIT，导师为Armando Solar-Lezama。论文针对为复杂语言构建先进编程工具成本高昂的问题，提出三种让面向不同语言的同类工具共享实现代码的技术：跨多种语言无损地改写代码、根据语言的语义生成一族工具，以及一种可用于多种语言和多种合成任务的程序集合新表示。Mirdin网站上的个人介绍列出这是2021年取得的计算机科学博士学位，并把论文概括为让程序转换与合成工具更容易构建、更加通用的方法。⁠[8][5]

conf.researchr.org上的个人资料将他的单位列为Massachusetts Institute of Technology，并列出他担任SPLASH 2026会议Onward! Papers专题的程序委员会成员。⁠[9]

Strange Loop大会的演讲者介绍称他当时是MIT Computer-Aided Programming Group的博士候选人：白天在MIT研究如何让程序转换与程序合成工具更容易构建，他把这类工具形容为“programs that write programs that write programs”（编写那些编写程序的程序的程序），晚上则教软件工程师写出更好的代码。他在该大会的演讲题为“You are a Program Synthesizer”，讲解程序合成与验证能为日常编程带来哪些启示，以及什么样的代码好、什么样的代码坏。⁠[2]

他在2019年的CoRecursive节目中确认Cubix是他的框架（节目页面的链接称之为“Cubix Multi-Language Transformation Tool”，即多语言转换工具）；他还说刚向POPL会议投出一篇关于Mandate的论文。⁠[3]

conf.researchr.org上的个人资料将他的研究兴趣列为软件语言工程、程序转换、泛型编程和因果推断，并列出他作为作者的会议论文：2017年SPLASH海报“QuixBugs: A Multi-Lingual Program Repair Benchmark Set Based on the Quixey Challenge”和“Incremental Parametric Syntax for Multi-Language Transformation”；2018年ICFP的“Capturing the Future by Replaying the Past (Functional Pearl)”和SPLASH（OOPSLA）的“One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax”（该文同年还列入SPLASH的Artifacts和Posters专题，并在PLATEAU 2018研讨会上发表预览版）；2020年PLDI的“Semantic Code Search via Equational Reasoning”和SPLASH Onward!的“Demystifying Dependence”（该文也列入SPLASH 2020 Posters专题）；2021年HOPE的“Dynamic Scope + Laziness = Counterfactuals”，同年SPLASH的SIGPLAN Papers专题也列出“Semantic Code Search via Equational Reasoning”和“Demystifying Dependence”；2022年ICFP的“Searching Entangled Program Spaces”和“Automatically Deriving Control-Flow Graph Generators From Operational Semantics”，以及EGRAPHS研讨会的“E-Graphs, VSAs, and Tree Automata: a Rosetta Stone”和“ECTAs: E-Graphs Better (at Encoding)”；2023年ICST的“Spectacular: Finding Laws from 25 Trillion Programs”和EVCS的“Typed Multi-Language Strategy Combinators”。⁠[9]

该资料还列出他的其他学术活动：2020年在ICFP主讲教程“Building Multi-Language Tools with Cubix”，并在SPLASH 2020的PLMW担任导师；2021年在SPLASH的SIGPLAN Papers专题中担任“PLDI 2021, PLDI 2020, and OOPSLA 2020 Papers 1”分场主席；2022年任Haskell 2022程序委员会成员和Embedded DSLs分场主席。⁠[9]

Mirdin网站上的个人介绍列出他拥有6项专利，领域为二进制修改和移动端A/B测试。⁠[5]

他的母亲Suellen M. Koppel是工业组织心理学家，父亲Ralph Koppel经营一家计算机软件公司；他有一个姐姐Julie Ann，2012年时刚从药学院毕业。他是Congregation Shaare Emeth的会众。⁠[1]

2012年的报道写道，他持有跆拳道（Tae Kwon Doh）二段黑带，练了12年，并有Shotokan Karate的“5th degree white belt”（五级白带）；大一结束后的暑假，他开始学钢琴。他说自己的休闲活动清单很短，因为大部分时间都在工作。⁠[1]

个人网站：https://www.pathsensitive.com/（在新窗口打开）。⁠[2][7]

Carnegie Mellon University：官网：https://www.cmu.edu/（在新窗口打开）。⁠[4]

Massachusetts Institute of Technology：官网：https://www.mit.edu/（在新窗口打开）。⁠[8]

Mirdin：官网：https://mirdin.com/（在新窗口打开）。⁠[5]

Thiel Fellowship：官网：https://thielfellowship.org/（在新窗口打开）。⁠[10]

X：公开账号：https://x.com/jimmykoppel（在新窗口打开）。⁠[2][3]

GitHub：公开账号：https://github.com/jkoppel（在新窗口打开）。⁠[2]