姚期智也从是数理转到计算机科学上来的。
姚期智进入计算机科学领域最早的论文之一《寻找最小生成树的O(|E|log log|V|)算法》一文(1975)就引起轰动，因为学术界原先认为，寻找最小生成树算法的时间复杂度的下界是O(E log V)，而姚期智的论文证明这个极限是可以打破的。在姚的这一开创性工作的基础上，经过近20年的努力，人们终于设计出了寻找最小生成树的线性时间算法。