四川师范大学计算机系黄宇,黄宇-经济信息工程学院

■个人简介

黄宇，现任西南财经大学经济信息工程学院副教授、硕士生导师。在此之前，黄宇副教授在美国杨百翰大学(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)