扩散法，也被称为弗洛伊德-斯坦伯格抖动（但他区分了抖动和扩散）。他一个显着的成就是开创性地在程序验证中使用了逻辑断言。在他1967年的论文《如何确定程序的意义》中首先提出，之后演化为霍尔逻辑。弗洛伊德与高德纳工作很密切，他是高德纳的着作《计算机程序设计艺术》的主要评审，并且在书中被多次提及。他与理查德·贝尔格（Richard Beigel）合着有《机器的语言：可计算和形式语言的介绍》。 弗洛伊德于1978年获得图灵奖，并做“程序设计的风范”（）的演讲，图灵奖引文是：在构造高效、可靠性软件方法学