选择了放弃，专注于他在麻省理工学院AI实验室的编程。他开始在麻省理工学院担任杰拉德·杰伊·萨斯曼的研究室助理,在1977年与萨斯曼发表了一篇名为"dependency-directed backtracking"的关于 AI 的论文。这篇论文是对约束补偿问题智能回溯的早期研究。截至2009年，斯托曼和萨斯曼介绍的技术仍然是智能回溯中最通用和最强大的解释。有关（）的技术也在该论文中被提及。作为MIT计算机科学与人工智能实验室的黑客，斯托曼从事软件项目，如文本编辑器，不兼容的分时系统上的Emacs，还有