On November 2015, Professor David Harel visited BeiHang University, and joined our Digital Society & Blockchain Laboratory as a distinguished scientist. Professor Harel is a member of US National Academy of Engineering and Israel Academy of Sciences. He is also the Vice President of the Israel Academy of Sciences, winner of the Israel Prize, and a professor of Weizmann Institute.