浙江大学赵永望怎么样啊

赵永望教授是浙江大学计算机科学与技术学院和网络空间安全学院的教授及博士生导师。他在学术领域有着广泛的研究，主要研究方向包括形式化验证、系统安全、编程语言等。赵教授主持和参与了多项国家级和省级的重点科研项目，包括工信部重大专项、国家自然科学基金重点项目、载人航天工程重点项目等，并取得了显著的研究成果。他提出了操作系统形式验证的系统性理论和方法，并将其应用于多个国产操作系统以及国外工业和开源操作系统中，显著提升了国产系统的安全可靠性。

此外，赵永望教授还在业界担任多个重要职务，如CCF系统软件专委、形式化方法专委和抗恶劣计算专委执行委员，以及国际ARINC653操作系统标准委员会成员等。他的工作得到了同行的认可，曾获得省部级科技进步一等奖2项。

在商业方面，赵永望教授是绍兴望书安科技有限公司的实际控制人，持股比例为20%，最终受益股份为72.939%。望安科技是一家与他个人研究方向相关的科技企业，专注于系统安全领域。

综上所述，赵永望教授在学术和工业界均有着显著的影响力和贡献，是一位在计算机科学领域具有高度专业性和影响力的学者。

如果您对赵永望教授或其他相关信息有更多的查询需求，请随时告诉我