计算机科学与技术学术研究方向

1、计算机科学与技术 计算机科学与技术为计算机一级学科，涵盖了计算机应用技术、软件与理论和系统结构三个二级学科硕士点，按一级学科招生。本专业紧密联系计算机发展的最新热点以及上海市计算机行业的发展方向，开展与国民经济发展密切相关的计算机科学及应用技术研究。

2、○主要研究内容：软件形式化方法、语义网、程序分析技术、各种程序设计语言与实现技术、移动代码安全、并发语义、软件检查等。○主要成果：承担并完成了国家自然科学基金项目4项、教育部博士点基金1项、省部级项目2项、协作项目3项、省级校级教改项目3项、发表学术论文70余篇、编著学术著作13部。