 He and his first student Lawrence Landweber had a major influence on the development of theoretical computer science.Together with his friend Saunders Mac Lane, a student of Paul Bernays as well, Büchi published numerous celebrated works.He invented what is now known as the Büchi automaton, a finite state automaton accepting certain collections of infinite words known as omega-regular languages.