n 教师简介

黄宇，现任西南财经大学计算机与人工智能学院副教授、硕士生导师，2016年于美国杨百翰大学（Brigham Young University）毕业，获计算机科学博士学位，迄今在国际会议和国际期刊发表论文10余篇，其中包括CCF A类顶级国际会议IEEE/ACM International Conference on Automated Software Engineering, CCF B类知名国际期刊Elsevier Parallel Computing等。主要研究方向包括：并行程序分析、区块链智能合约安全验证、大数据分析等，作为负责人在相关领域主持国家自然科学基金项目。

欢迎对以上研究方向感兴趣的青年才俊报考我的研究生，我会尽快回复邮件并安排面谈。

n 职业经历

2016年至今 副教授 西南财经大学经济信息工程学院

2013年至2013年 研究员 安全分析部门 惠普（硅谷）

n 讲授课程

本科 大数据技术、Python程序设计

研究生 形式语言与自动机

n 部分代表性成果

[1] Yu Huang, Benjamin Ogles and Eric Mercer (2020). “Predictive Analysis with Pattern Matching for Detecting Deadlock in MPI Programs”. In proceedings of the 35th. IEEE/ACM International Conference on Automated Software Engineering (ASE), DOI: 10.1145/3324884.3416588. （软件工程TOP国际会议，中国计算机学会CCF A类）

[2] Yu Huang, Kai Gong, Eric Mercer (2020). “An Efficient Algorithm for Match Pair Approximation in Message Passing”. Elsevier Parallel Computing (PARCO), Volume 91, Article 102585, DOI: 10.1016/j.parco.2019.102585. （并行系统国际知名期刊，中国计算机学会CCF B类）

[3] Yu Huang, Eric Mercer, Jay McCarthy (2013). “Proving MCAPI Executions are Correct Applying SMT Technology to Message Passing”. In proceedings of the 28th IEEE/ACM International Conference on Automated Software Engineering (ASE), DOI: 10.1109/ASE.2013.6693063. 软件工程TOP国际会议，中国计算机学会CCF A类）

代表性论文详见：https://scholar.google.com/citations?user=DgcgoJAAAAAJ&hl=en

n 科研项目

[1] 国家自然科学基金青年项目：消息传递程序行为预测和分析的关键技术研究，编号：6210070115，时间：2022.01～2024.12，主持。

[2] 西南财经大学引进人才科研启动资金：消息传递系统的形式化验证，2016～2017，结题，主持。

[3] 美国国家科学基金项目，CCF:SHF:Medium:Collaborative Research: A Static and Dynamic Verification,2013～2017，结题，主研。

[4] 美国国家科学基金项目，Formal Analysis of Multi-core Communication APIs and Applications，2009～2013，结题，主研。