Verena Huber-Dyson

Verena Huber-Dyson
Born	Verena Esther Huber (1923-05-06)May 6, 1923 Naples, Italy
Died	March 12, 2016(2016-03-12) (aged 92)[1] 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 (May 6, 1923 – March 12, 2016) was a Swiss-American mathematician, known for her work on group theory and formal logic.^[1][2] She has been described as a "brilliant mathematician",^[2] 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.