|
|
上海交通大学软件学院教授、博士生导师 |
|
|
|
||
|
赵建军,教授,博士生导师,计算机科学博士。1982年9月 ~ 1987年7月 于清华大学计算机系取得工学学士学位；1994年4月 ~ 1997年3月于日本九州大学计算机系计算机科学博士。现在为上海交通大学软件学院教授，中国计算机学会软件工程专委会会员。 1997年4月起任日本福冈工业大学计算机科学与工程系讲师。2000年4月起任副教授。2002年4月到2003年3月在美国麻省理工学院计算机科学实验室(MIT Laboratory for Computer Science)作访问教授一年。 研究内容包括：程序分析与验证、程序语言设计与实现、软件测试、软件安全。 |
||
|
|
||
|
承担并完成国家自然科学基金面上项目以及国家863计划探索型项目等。另外，发表多篇学术论著。
|
||
|
|
||
|
|
||
