Η Βερένα Έστερ Χούμπερ-Ντάισον (Verena Esther Huber-Dyson, 6 Μαΐου 1923 – 12 Μαρτίου 2016) ήταν Ελβετίδα-Αμερικανίδα μαθηματικός, γνωστή για το έργο της στην θεωρία ομάδων και την τυπική λογική. Έχει περιγραφεί ως “λαμπρή μαθηματικός”, και έκανε έρευνα για τη διασύνδεση μεταξύ άλγεβρας και λογικής, με έμφαση στη μη-αποφασισιμότητα στην θεωρία ομάδων. Την χρονιά του θανάτου της ήταν ομότιμη καθηγήτρια της σχολής στο τμήμα φιλοσοφίας του Πανεπιστημίου του Κάλγκαρι, Αλμπέρτα.
Η Χούμπερ-Ντάισον γεννήθηκε ως Βερίνα Έστερ Χούμπερ στην Νάπολη, της Ιταλίας, στις 6 Μαΐου του 1923. Οι γονείς της, Καρλ Χούμπερ (1893-1946) και Μπέρθυ Ρίφελ (1899-1945), υπήκοοι της Ελβετίας οι οποίοι ανέθρεψαν τη Βερίνα και την αδερφή της Αδελαΐδα (“Χάιντι”, 1925-1987) στην Αθήνα, όπου τα κορίτσια παρακολούθησαν τη Γερμανική Σχολή Αθηνών, μέχρι την αναγκαστική επιστροφή τους στην Ελβετία το 1940 λόγω του πολέμου.
Στα Μαθητολόγια της Αραχώβης εμφανίζεται το έτος 1929-30 στην Α’ Δημοτικού και παραμένει έως την αποφοίτησή της το 1940 στην ΣΤ’ Γυμνασίου. Στα μαθητολόγια υπάρχει κενό στην φοίτησή της μετά το 1935, όμως στις “Αναμνήσεις” του Ευγένιου Σαντορίνη αναφέρεται ρητά ότι μόνον οι δυό τους παρακολούθησαν ανελλιπώς όλα τα χρόνια από το 1929 έως το 1940.
Αντίστοιχα η Χάιντι εμφανίζεται τος έτος 1931-32 στην Α’ Δημοτικού, δύο αργότερα από την αδελφή της, παραμένει στην Γερμανική και προφανώς πριν ολοκληρώσει την φοίτησή της φεύγει για την Ελβετία.Η Χούμπερ-Ντάισον σπούδασε μαθηματικά, με πτυχίο στη φυσική και τη φιλοσοφία, στο Πανεπιστήμιο της Ζυρίχης, όπου έλαβε τον τίτλο του διδακτορικού στα μαθηματικά το 1947, με διατριβή στην πεπερασμένη θεωρία ομάδων υπό την επίβλεψη του Ανδρέα Σπάιζερ.
Μετά τη διδακτορική της διατριβή η Χούμπερ-Ντάισον αποδέχτηκε τη θέση της επιστημονικής συνεργάτιδος στο Ινστιτούτο Προηγμένων μελετών στο Πρίνστον το 1948, όπου εργάστηκε στη θεωρία ομάδων και την τυπική λογική. Ξεκίνησε, επίσης, να διδάσκει στο Κολλέγιο Γκουσέρ κοντά στη Βαλτιμόρη στο ίδιο διάστημα.
Μετακόμισε στην Καλιφόρνια με την κόρη της Καταρίνα, άρχισε να διδάσκει στο Πανεπιστήμιο του Σαν Χοσέ Στέιτ, το 1959, και στη συνέχεια εντάχθηκε στην Ομάδα Λογικής και Μεθοδολογίας της Επιστήμης του Άλφρεντ Τάρσκι στο Πανεπιστήμιο της Καλιφόρνια, Μπέρκλεϊ.
Η Βερένα Χούμπερ-Ντάισον πέθανε στις 12 Μαρτίου, 2016 στο Μπέλινγκχαμ της Ουάσιγκτον, σε ηλικία 92 ετών.
