您当前所在位置: 首页 > 学者
在线提示

恭喜!关注成功

在线提示

确认取消关注该学者?

段振华

     

  

现代高科技软件系统的研制和开发

个性化签名

TA的关注(0) 关注TA的(0)
留言板

该学者已关闭了留言功能

暂无留言

  • 张卫

    复旦大学

    从事集成电路工艺、半导体材料和器件的研究。

  • 马义德

    兰州大学

    信息传输与处理、计算机应用、数字图像处理技术、生物医学工程等

  • 张庆灵

    东北大学

    主要从事于微分代数系统的结构性质及其相关控制问题的研究。

  • 吴振强

    陕西师范大学

    网络安全与信息隐藏。

  • 刘兴钊

    电子科技大学

    BST铁电薄膜、半导体SiC外延薄膜、半导体低维结构等

  • 孙正兴

    南京大学

    多媒体计算、计算机视觉和智能人机交互等,重点研究面向普适计算的智能视觉环境及其交互技术

  • 张波

    电子科技大学

    长期从事功率半导体技术、电源管理IC及专用IC的教学、科研和人才培养。

  • 朱义胜

    大连海事大学

    通信与电路方面的教学和研究

  • 姓名:段振华
  • 目前身份:
  • 担任导师情况:
  • 学位:
  • 学术头衔:

    博士生导师

  • 职称:-
  • 学科领域:

    计算机科学技术

  • 研究兴趣:现代高科技软件系统的研制和开发
个人简介

段振华博士,计算机学院教授,博士生导师。1982 和1987 年在西北大学先后获得计算机科学学士和软件工程硕士学位。1989 年到英国留学,2003 年元月回国工作。1996 和1997 年先后获得英国Newcastle 大学理学博士和Shemeld 大学工学博士学位。并在Sheffield 大学从事博士后研究一年。在英国13 年,先后承担了英国SERC 和EPSRCZ 项研究课题。在时序逻辑,时序逻辑程序设计,实时系统和混合系统的理论和应用及网络通讯等方面进行了深入的研究,发表了20 多篇学术论文和研究报告,其中著名国际会议和杂志7 篇,撰写了两篇博士论文。开发了一个支持时序逻辑程序设计的软件工具。
    在软件工业界工作了5 年多,先后在英国、美国、德国和法国著名公司,从事现代高科技软件系统的研制和开发。对软件设计可发和管理积累了丰富的经验。
    在国内工作期间,曾长期从事计算机科学理论和软件工程的研究,发表了20 多篇学术论文,其中一级学报5 篇。目前研究方向:1 .实时,混合系统的理论和应用技术;2 .网络计算和网络软件(包括中间件,构件,XML ,语义WEB ,和P2P ) ; 3 .嵌入式系统和SOPC 技术;4 .时序逻辑程序设计;
    在研项目:
    自然科学基金重点项目:框架时序逻辑程序设计,180 万,05 . 1—08.12
    自然科学基金项目:混合系统的形式验证,24 万,04 . 1—06.12
    博士点基金项目:混合系统的模型检查,5 万,04 . 1—06.12
    中科院软件所计算机科学重点实验室开放基金项目:实时和混合系统的模型检查,4 万,04 . 1 一05 . 12

  • 主页访问

    3431

  • 关注数

    0

  • 成果阅读

    216

  • 成果数

    13

TA的成果
个人主页 返回顶部