His efforts were instrumental in establishing the first formal academic programme in computer science in 1965 at IIT Kanpur.