艾胡德·赫鲁绍夫斯基FRS(希伯来语:אהוד הרושובסקי;1959年9月30日-)是一个数理逻辑学家。
现为英国牛津大学默顿数理逻辑讲座教授及牛津大学默顿学院院士。
他亦兼任耶路撒冷希伯来大学数学教授。
其父本杰明·哈沙夫(希伯来语:בנימין הרשב)(希伯来语:בנימין הרשב,né Hruszowski; 1928–2015),
他分别在1982年和1986年于美国加州大学伯克莱分校获得数学学士学位和博士学位。他曾是美国普林斯顿大学讲师(1987–1988)和客席助理教授(1988–1989)。他其后加入美国麻省理工学院(MIT),先后担任助理教授(1988–1991)、副教授(1992–1994)和教授(1994)。在MIT工作期间,他还担任以色列耶路撒冷希伯来大学助理教授(1991–1992),并于1994年至2017年间担任教授。他于2016年转到牛津大学担任默顿数理逻辑讲座教授(2016–)。
他是以色列科学与人文学院和美国人文与科学学院院士。
Hrushovski is well known for several fundamental contributions to model theory, in particular in the branch that has become known as geometric model theory, and its applications. His PhD thesis revolutionized stable model theory (a part of model theory arising from the stability theory introduced by Saharon Shelah). Shortly afterwards he found counterexamples to the Trichotomy Conjecture of Boris Zilber and his method of proof has become well known as Hrushovski constructions and found many other applications since.
One of his most famous results is his proof of the geometric Mordell–Lang conjecture in all characteristics using model theory in 1996. This deep proof was a landmark in logic and geometry. He has had many other famous and notable results in model theory and its applications to geometry, algebra, and combinatorics.
He was an invited speaker at the 1990 International Congress of Mathematicians and a plenary speaker at the 1998 ICM. He is a recipient of the Erdős Prize of the Israel Mathematical Union in 1994, the Rothschild Prize in 1998, the Karp Prize of the Association for Symbolic Logic in 1993 (jointly with Alex Wilkie) and again in 1998, In 2007, he was honored with holding the Gödel Lecture. In his absence, a lecture on his work titled was given by Thomas Scanlon. In 2019 he was awarded the Heinz Hopf Prize and in 2022 the Shaw Prize in Mathematical Sciences.
Hrushovski is a fellow of the American Academy of Arts and Sciences (2007), and Israel Academy of Sciences and Humanities (2008). He was elected a Fellow of the Royal Society in 2020.