夫人高小霞，也是中科院院士