VERENA HUBER-DYSON, 1923-2016 , was emeritus professor of the Philosophy department of the University of Calgary, Alberta Canada, where she taught graduate courses on the Foundations of Mathematics, the Philosophy and Methodology of the sciences.
Before the Vietnam war she was an associate professor in the Mathematics department of the University of Illinois. She taught in the Mathematics department at the University of California in Berkeley, and was part of Tarski's Group in Logic and the Methodology of Science. Her research, in interface between Algebra and Logic, (Tarski and Novosibirsk Style) is concerned with undecidability in Group theory.
She is the author or a monograph, Gödel's theorems: a workbook on formalization, which is based on her experience of teaching graduate courses and seminars on mathematical logic, formalization and its limitations to mathematics, philosophy and interdisciplinary students at the Universities of Calgary, Zürich and Monash.