Logique élémentaire

Jacques Zahnd, originaire de Guggisberg (BE), est né en 1939. Il fait des études d'ingénieur physicien à l'Ecole polytechnique de l'Université de Lausanne dont il est diplômé en 1963.

De 1964 à 1968, il poursuit sa formation de chercheur en physique du solide au Laboratoire de génie atomique de l'EPUL et il obtient le grade de docteur ès sciences techniques de l'EPFL en 1969.

De 1963 à 1969, il occupe un poste d'assistant au Fonds national, puis, de 1970 à 1976, d'ingénieur et d'adjoint scientifique au Département d'électricité de l'EPFL Il est nommé professeur titulaire au Département d'électricité en 1984 puis à celui d'informatique en 1988.

Son enseignement et sa recherche concernent les domaines de la théorie des circuits logiques et des automates, de la logique formelle et des méthodes formelles en informatique.