Verena Huber-Dyson

Verena Huber-Dyson
Verena Huber-Dyson
Born	Verena Esther Huber; May 6, 1923; Naples, Italy
Died	March 12, 2016 (aged 92); Bellingham, Washington
Other names	Verena Huber, Verena Haefeli
Citizenship	Switzerland; United States;
Education	University of Zürich
Known for	Group theory; Mathematical logic;
Spouses	Hans-Georg Haefeli (m. 1942; div. 1948); Freeman Dyson (m. 1950; div. 1958);
Children	Katarina Halm; Esther Dyson; George Dyson;
	Scientific career
Fields	Logic, algebra
Institutions	University of California, Berkeley; Adelphi University; University of California, Los Angeles; University of Illinois at Urbana–Champaign; University of Calgary;
Thesis	Ein Dualismus als Klassifikationsprinzip in der abstrakten Gruppentheorie (1947)
Doctoral advisor	Andreas Speiser

Verena Esther Huber-Dyson (née Huber; May 6, 1923 – March 12, 2016) was a Swiss-American mathematician, known for her work on group theory and formal logic. She has been described as a "brilliant mathematician", who 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.