魏然

基本信息Personal Information

准聘副教授

主要任职:无

性别:男

出生日期:1984-04-06

毕业院校:英国约克大学

学位:博士

在职信息:在职

所在单位:人工智能学院

学科:计算机应用技术

电子邮箱:

扫描关注

个人简介Personal Profile

自2020年4月起任人工智能学院副教授。

此前于英国约克大学计算机学院任研究员(2013至2020)。

研究方向:高完整性系统工程、智能系统人身安全与预期安全、模型化安全保障、模型驱动工程。


Eclipse Foundation开源项目Eclipse Epsilon  [1] 开发者。

英国约克大学安全行业标准“目标结构表示法”(Goal Structuring Notation - GSN)[2] 制定者。

美国“目标管理组织”(Object Management Group) [3] 安全行业“结构化安全案例模型” (Structured Assurance Case Metamodel)[4] 标准制定者。


[1]. https://www.eclipse.org/epsilon/

[2]. https://www.goalstructuringnotation.info/

[3]. https://www.omg.org/

[4]. https://www.omg.org/spec/SACM


  • 教育经历Education Background
  • 工作经历Work Experience
  • 研究方向Research Focus
  • 社会兼职Social Affiliations
  • 智能系统实时安全保障
  • 智能系统人身安全保障
  • 安全关键度系统功能安全
  • 模型化系统安全保障
  • 模型驱动工程