又一位！知名计算机科学家陈婧离开美国，加盟清华大学