应我校邀请，法国国家信息与自动化研究院（INRIA）Sophia-Antipolis研究中心高级研究员伊乌·贝尔托（Yves Bertot）博士于8月11日至8月12日来我校进行工作访问。校长薛安克会见伊乌·贝尔托博士，并邀请伊乌·贝尔托博士参观自动化学院和计算机学院重中之重实验室。自动化学院、计算机学院、国际交流合作处、教务处、人事处等学院、部门负责人参加会谈。
　　薛安克对伊乌博士的到访表示热烈欢迎。薛安克说，杭州电子科技大学非常重视与法国大院名校开展国际交流与合作，尤其重视与法国国家科研机构、法国知名大学共同开展国际科技合作。今年五月我校代表团在法国国家信息与自动化研究院的访问非常成功，相信伊乌博士此次工作访问将为我校与法国国家信息与自动化研究院开展进一步交流合作起到积极推动作用。薛安克希望双方今后在教授层面上密切开展实质性的学术交流，共同申请欧盟及我国国际科技合作项目，并将合作拓展到双方团队交流、师资交流和学生交流。
　　伊乌博士在会谈中对我校的邀请和接待深表感谢。他表示非常愿意为双方开展学术研究、科技合作搭建平台，为两校开展师生交流、国际科技合作项目申报建立沟通渠道。他说，参观实验室使他对杭州电子科技大学的科研水平留下了深刻印象，师生们的工作态度和研究精神令他感动。
　　8月12日上午，伊乌博士在计算机学院作了题为“利用Coq系统对数学与软件进行形式化验证”的学术报告。计算机、自动化、理学院相关教师和研究生参加报告会，并与伊乌博士就形式化证明、可信计算、数学定理机械化证明等问题进行了互动交流， 同时就双方合作在我校开设Coq 理论课程的可行性进行了探讨。（国际交流合作处、自动化学院、计算机学院）