计算机科学与技术
浙江大学
张帆
教授 博士生导师
fanzhang@zju.edu.cn
研究领域:
旁路攻击与防御、故障攻击与防御、计算机体系结构、网络加密流量、后量子密码等。 硬件安全、系统安全、网络安全等安全相关领域。
赵永望
教授 博士生导师
zhaoyw@zju.edu.cn
研究领域:
形式化方法:形式逻辑、形式化验证、并发理论、定理证明、程序验证等 操作系统与安全:OS形式化验证、微内核/分区/隔离内核、Linux内核、ARINC653等 编程语言与编译:函数式编程、并发语言...
郑能干
教授 博士生导师
zng@cs.zju.edu.cn
研究领域:
人工智能(脑机混合智能、机器视觉方法进行行为分析&数据挖掘、医疗数据分析处理、神经图像数据分析及3D重建)、机器学习、智能嵌入式系统