Julius Richard Büchi (1924-1984) fue un lógico y matemático suizo .
Recibió su Dr. sc. nat. en 1950 en ETH Zurich bajo la supervisión de Paul Bernays y Ferdinand Gonseth . Poco después fue a la Universidad Purdue en Lafayette , Indiana . Él y su primer alumno Lawrence Landweber tuvieron una gran influencia en el desarrollo de la informática teórica .
Junto con su amigo Saunders Mac Lane , también alumno de Paul Bernays , Büchi publicó numerosas obras célebres. Inventó lo que ahora se conoce como autómata Büchi , una máquina de estados finitos que acepta ciertos conjuntos de secuencias infinitas de caracteres conocidos como lenguajes omega-regulares . El " problema de los n cuadrados", conocido también como problema de Büchi , es un problema abierto de la teoría de números , estrechamente relacionado con el décimo problema de Hilbert .