黄宇
2017-11-23
黄宇（Yu Huang）简历
一、 个人基本信息
姓名 | 性别 | 单位 | 学位 | 职称 | 职务 | 电话 | |
黄宇 | 男 | 经济信息工程 | 博士 | 副教授、硕导 | 教师 | yuhuang AT swufe.edu.cn |
二、 教育背景
学习经历 | |
起止年月（本科起） | 院校及系、专业 |
2004-2008 | 东南大学，软件学院（现并入计算机学院），本科 |
2008-2010 | 佛罗里达国际大学（Florida International University），美国，计算机科学系，硕士 |
2010-2016 | 杨百翰大学（Brigham Young University），美国，计算机科学系，博士，导师：Eric Mercer |
三、 工作经历
起止年月 | 单位及职务 |
2016 年-迄今 | 西南财经大学，经济信息工程学院，副教授，硕士生导师 |
2013年-2013年 | 惠普（硅谷），安全分析部门，研究员 |
2006年-2006年 | 纳龙科技（南京），软件工程师 |
四、 讲授课程
讲授课程层次 | 讲授课程名称 |
本科 | Hadoop基础与实践 |
本科 | 大学计算机基础 |
本科 | 算法分析与设计（读博期间） |
研究生 | 形式语言与自动机 |
五、 主要研究方向
l 形式化验证理论方法
n 静态分析
n 模式检测
n SMT编码
n 符号执行
l 区块链技术
n 以太坊智能合约安全检测
n 超级账本安全问题分析
六、 主要研究成果
1. 国际会议论文
（第一作者）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.
2. 在审论文
（第一作者）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.
3. 其他成果
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.
七、 承担的研究项目
l 西南财经大学引进人才科研启动资金，消息传递系统的形式化验证，2016-2017，在研，主持
l 美国国家科学基金会项目，CCF:SHF:Medium:Collaborative Research: A Static and Dynamic Verification,2013-2017，在研，主研
l 美国国家科学基金会项目，Formal Analysis of Multi-core Communication APIs and Applications，2009-2013，结题，主研
l 美国国家大学项目，Mentoring Environment Grant: Formal Analysis of Multicore Communication APIs and Applications,2009-2013，结题，主研
八、 奖励、荣誉
l 全额奖学金（助研），杨百翰大学，2010-2016。
l NSF访问经费，形式化方法国际学术组织，2014。
l 全额奖学金（助研），佛罗里达国际大学，2008-2010。
九、 社会职务
担任多个国际学术会议论文审稿人：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)
