您当前浏览器版本过低,为了不影响您的使用,建议您使用最新的谷歌浏览器、火狐浏览器、 360浏览器,更换浏览器后使用更流畅!(注意!双核浏览器请切换为极速模式)
400-607-9388
  • 黄宇
  • 所属院校: 西南财经大学
  • 所属院系: 经济信息工程学院
  • 职称: 副教授
  • 导师类型: 硕导
  • 招生专业:
  • 研究领域: 形式化验证理论方法 静态分析 模式检测 SMT编码 符号执行 区块链技术 以太坊智能合约安全检测 超级账本安全问题分析
个人简介

个人简介

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

确定
匹配导师

资料审核中

您的资料已提交成功!

我们的工作人员会将会在3-5个工作日内和您联系

返回