删除或更新信息,请邮件至freekaoyan#163.com(#换成@)
西南财经大学经济信息工程学院导师教师师资介绍简介-黄宇
本站小编 Free考研考试/2021-09-21
黄宇
计算机系
副教授、硕士生导师
Email:yuhuang @ swufe.edu.cn
■ 个人简介
黄宇,现任西南财经大学经济信息工程学院副教授、硕士生导师。在此之前,黄宇副教授在美国杨百翰大学(Brigham Young University)获得计算机科学博士学位,指导老师:Eric Mercer。黄宇副教授主要从事软件形式化验证、并行系统程序分析、区块链智能合约系统安全分析等领域的研究工作和相关教学工作。
■ 研究领域
形式化验证理论方法
● 静态分析
● 模式检测
● SMT编码
● 符号执行
区块链技术
● 以太坊智能合约安全检测
● 超级账本安全问题分析
■ 教育背景
2016 美国杨百翰大学 计算机科学 博士
2010 美国佛罗里达国际大学 计算机科学 硕士
2008 东南大学 软件工程 学士
■ 职业经历
2016年至今 副教授,硕导 西南财经大学经济信息工程学院
2013年至2013年 研究员 安全分析部门 惠普(硅谷)
2006年至2006年 软件工程师 纳龙科技(南京)
■ 荣誉奖励
全额奖学金(助研),杨百翰大学,2010-2016。
NSF访问经费,形式化方法国际学术组织,2014。
全额奖学金(助研),佛罗里达国际大学,2008-2010。
■ 讲授课程
本科 大学计算机基础,Hadoop基础与实践,算法分析与设计(读博期间)
研究生 形式语言与自动机
■ 研究成果
国际会议论文
● (第一作者)Yu Huang, Eric Mercer, Detecting MPI Zero Buffer Incompatibility by SMT Encoding,7th NASA Formal Methods Symposium (NFM15), Pasadena, CA, April,2015.
● (第一作者)Yu Huang, Eric Mercer, A Precise Encoding for MPI Semantics, 会议墙展,Java Path Finder Workshop (JPF14), Salt Lake City, UT, 2014.
● (第一作者)Yu Huang, Eric Mercer, Jay McCarthy, Proving MCAPI Executions are Correct Applying SMT Technology to Message Passing, 28th IEEE/ACM International Conference on Automated Software Engineering (ASE13), Palo Alto, CA, November, 2013.
● (第二作者)Reng Zeng, Yu Huang, Su Liu, Peter J. Clarke, Xudong He*, Gwendolyn W. van der Linden, Jon L. Ebert, SC-xScript: An Embedded Script Language for Scientific Computation in Embedded Systems, International Conference on Software Engineering and Knowledge Engineering (SEKE11), Miami, July, 2011.
在审论文
● (第一作者)Yu Huang, Eric Mercer, An Efficient Approach for Match Pair Approximation in Message Passing, under review.
● (第一作者)Yu Huang, Eric Mercer, Josh Asplund, Predicative Analysis with Pattern Matching for Deadlock in MPI Point-to-point Communication, under review.
其他成果
● Yu Huang, An Analyzer for Message Passing Programs, Ph.D. Dissertation, Provo, UT, 2016.
● Yu Huang, Eric Mercer, Proving MCAPI Executions are correct using SMT(Extended), Technical Report, Provo, UT, 2013.
■ 主要研究项目
西南财经大学引进人才科研启动资金,消息传递系统的形式化验证,2016-2017,结题,主持
美国国家科学基金会项目,CCF:SHF:Medium:Collaborative Research: A Static and Dynamic Verification,2013-2017,结题,主研
美国国家科学基金会项目,Formal Analysis of Multi-core Communication APIs and Applications,2009-2013,结题,主研
美国国家大学项目,Mentoring Environment Grant: Formal Analysis of Multicore Communication APIs and Applications,2009-2013,结题,主研
■ 社会职务
担任多个国际学术会议论文审稿人:Conference on Current Trends in Theory and Practice of Computer Science (SOFSEM2010),NASA Formal Methods Symposium (NFM2011),Java Path Finder Workshop (JPF2014),International SPIN Symposium on Model Checking of Software (SPIN2014),International SPIN Symposium on Model Checking of Software(SPIN2015)
相关话题/工程学院 西南财经大学
西南财经大学经济信息工程学院导师教师师资介绍简介-陈久强
陈久强电子商务系副研究员、硕士生导师Email:chenjq_t@swufe.edu.cn■简介陈久强,副研究员,工学博士。长期从事电子商务、信息技术应用研究与教学工作。在企业应用系统分析与设计、物联网技术、软件工程实践方面,积累了丰富的实践经验。主持和参加了多项应用项目开发和课题研究。■研究领域电 ...西南财经大学师资导师 本站小编 Free考研考试 2021-09-21西南财经大学经济信息工程学院导师教师师资介绍简介-陈康
陈康信息管理与信息系统系副教授、硕士生导师Email:chenkang@swufe.edu.cn■教授简介陈康,现任西南财经大学经济信息工程学院副教授、硕士生导师。陈康副教授主要从事数据结构、Java程序设计、数据库原理及应用、web程序设计、计算机基础、会计电算化。■研究领域金融电子化■教育背景1 ...西南财经大学师资导师 本站小编 Free考研考试 2021-09-21西南财经大学经济信息工程学院导师教师师资介绍简介-郭黎明
郭黎明计算机科学系副教授、硕士生导师Email:guolm_t@swufe.edu.cn■教授简介郭黎明副教授,西南财经大学经济信息工程学院教师;中国计算机学会会员。郭黎明副教授在西南大学(原西南师范大学)获得计算机科学硕士学位,曾经在美国宾州印第安那大学做访问****。郭黎明副教授主要从事大数据挖 ...西南财经大学师资导师 本站小编 Free考研考试 2021-09-21西南财经大学经济信息工程学院导师教师师资介绍简介-钟俊英
钟俊英电子商务系副教授、硕士生导师■副教授简介钟俊英博士,现任西南财经大学经济信息工程学院副教授、硕士生导师,SSCI期刊IMM审稿人等职。钟俊英副教授在芬兰阿尔托大学获得计算机科学与工程博士学位,并曾经在芬兰阿尔托大学计算机科学系从事博士后研究,在美国得克萨斯理工大学从事访问****研究,现为西南 ...西南财经大学师资导师 本站小编 Free考研考试 2021-09-21西南财经大学经济信息工程学院导师教师师资介绍简介-谢志龙
谢志龙信息技术教学研究中心、信息管理与信息系统系副教授,硕士生导师Email:xzl@swufe.edu.cnn教师简介谢志龙,硕士生导师,博士。在MergingMarketsFinanceandTrade、Complexity等国际知名学术期刊上发表过数篇高质量论文,并主研过国家自然科学基金、科技 ...西南财经大学师资导师 本站小编 Free考研考试 2021-09-21西南财经大学经济信息工程学院导师教师师资介绍简介-赵宇
赵宇西南财经大学人工智能系自然语言处理课题组负责人,副教授Email:zhaoyu@swufe.edu.cn地址:西南财经大学柳林校区格致楼J310-1长期招收硕士(每年2个名额)、在读博士和访问学生。欢迎对AI/NLP/FinTech等方向感兴趣的同学发送邮件(附简历等材料)联系我。n简介赵宇,工 ...西南财经大学师资导师 本站小编 Free考研考试 2021-09-21西南财经大学经济信息工程学院导师教师师资介绍简介-蒋太翔
蒋太翔人工智能系副教授、硕士生导师柳林校区通博楼B422学术主页:https://taixiangjiang.github.io/Email:jiangtx@swufe.edu.cn;taixiangjiang@gmail.comn教师简介蒋太翔,毕业于电子科技大学数学科学学院,获得理学博士学位。蒋 ...西南财经大学师资导师 本站小编 Free考研考试 2021-09-21西南财经大学经济信息工程学院导师教师师资介绍简介-薛飞
薛飞电子商务系副教授Email:xuef_t@swufe.edu.cn■教师简介薛飞,硕士,现任西南财经大学经济信息工程学院副教授。■研究领域商务智能计算机及其应用会计电算化■教育背景1999成都理工大学电子系智能仪器硕士1995成都理工大学电子系应用电子学士■职业经历2002年至今西南财经大学经济 ...西南财经大学师资导师 本站小编 Free考研考试 2021-09-21西南财经大学经济信息工程学院导师教师师资介绍简介-罗旭斌
罗旭斌信息技术教学研究中心副教授、硕士生导师Email:xbluo@swufe.edu.cn■教师简介罗旭斌博士,现任西南财经大学经济信息工程学院副教授、硕士生导师。■教育背景2004美国莱特州立大学计算机博士1999电子科技大学计算机软件与理论硕士1995电子科技大学应用电子技术专业学士■职业经历 ...西南财经大学师资导师 本站小编 Free考研考试 2021-09-21西南财经大学经济信息工程学院导师教师师资介绍简介-苏为
苏为计算机科学与技术系副教授Email:suwei@swufe.edu.cn■简介苏为,西南交通大学信息安全博士,曾在德国马格德堡大学代数与几何研究所做过两年的联合培养博士生。主要从事密码函数、序列设计、编码等领域的研究工作和相关的教学工作。苏为作为负责人或研究骨干主持参加了多项国家自然科学基金、省 ...西南财经大学师资导师 本站小编 Free考研考试 2021-09-21