Verena Esther Huber-Dyson was a Swiss-American mathematician, known for work in group theory and formal logic. She has been described as a "brilliant mathematician", and did research on the interface between algebra and logic, focusing on undecidability in group theory. At the time of her death she was emeritus faculty in the philosophy department of the University of Calgary, Alberta.