脱兔官方网站,dota2脱兔比分网

师资队伍
 

 

黄宇


计算机系


副教授、硕士生导师


 

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.

 主要研究项目

dota2脱兔比分网引进人才科研启动资金,消息传递系统的形式化验证,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)