副教授
黄宇
  • 所属院校:
    西南财经大学
  • 所属院系:
    经济信息工程学院
  • 研究领域:
    形式化验证理论方法 静态分析 模式检测 SMT编码 符号执行 区块链技术 以太坊智能合约安全检测 超级账本安全问题分析
  • 职称:
    副教授
  • 导师类型:
    硕导
  • 招生专业:
    --
个人简介

个人简介

教育背景 2016 美国杨百翰大学 计算机科学 博士 2010 美国佛罗里达国际大学 计算机科学 硕士 2008 东南大学 软件工程 学士 职业经历 2016年至今 副教授,硕导 西南财经大学经济信息工程学院 2013年至2013年 研究员 安全分析部门 惠普(硅谷) 2006年至2006年 软件工程师 纳龙科技(南京)

去登录