Az elméleti számítástechnikához való több évtizedes hozzájárulását, illetve a matematika fejlődése kapcsán végzett munkásságát ismerte el a BME szenátusa és a Neumann Társaság.