Julius Richard Büchi (1924-1984) fue un lógico y matemático suizo .
Recibió su doctorado en ciencias naturales en 1950 en la ETH de Zúrich bajo la supervisión de Paul Bernays y Ferdinand Gonseth . Poco después fue a la Universidad de Purdue en Lafayette , Indiana . Él y su primer estudiante, 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ó numerosos trabajos célebres. Inventó lo que hoy se conoce como el autómata de 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», también conocido 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 .