导师姓名：杨世瀚
性别：男
人气指数：88

所属院校：广西民族大学
所属院系：信息科学与工程学院
职称：副教授
导师类型：硕导
招生专业：计算机应用技术


个人简述 :
中国科学院计算机软件与理论专业博士研究生，广西民族大学计算机科学副教授。现在主要研究方向为（1）数据科学中的形式化方法：海量数据中的知识发现，分布式语义推理，矛盾处理等；（2）软件工程：软件正确性验证，软件工程中的形式化方法，程序语言；（3）复杂系统的近似形式化方法：结合数值计算和符号计算的方法对复杂系统进行建模和分析，用来自动化验证系统的性质，并进行各种误差分析；（4）语义网技术：描述逻辑的超协调推理和分布式推理等。发表SCI、EI检索学术论文16篇，获得软件著作权8项，获得省级科技进步奖二等奖一项。指导硕士研究生多名。主持中国科学院“西部之光”项目“数字科技文献资源语义元数据自动获取理论和方法研究”；主持校级项目“基于模型检测的Web挖掘研究”；正在承担广西自然科学基金项目“基于形式语义建模的本体自动获取研究”。参与“网络式软件复杂系统的软件工程研究”（973）、“基于代数符号计算的新型软件形式化验证技术和支持工具”（863）、“微分半代数程序模型的等价及等价谱系”、“片上多核处理器高层次架构设计的验证理论与关键技术”等多项国家级研究课题。有15年的软件工程实践经验，曾主持多项中、大型企业的软件工程、信息工程项目，主持多项横向课题的研究。