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]