2015年11月，David Harel受邀来北航演讲，蔡维德教授与 David Harel谈论区块链技术，David Harel对区块链颇有兴趣，随即愿意加入本实验室，并将指派其学生常驻实验室，共同研究区块链技术。

    David Harel 是美国工学院院士，以色列科学院院士，以色列科学院副院长，以色列奖获得者，麻省理工学院博士，以色列魏茨曼科研究院（Weizmann Institute）教授。