Shengwei An

Biography

I am a Ph.D. student in Department of Computer Science at Purdue University. I am interested in using formal methods and software engineering to improve the robustness of program synthesizers and neural networks. I received my M.S and B.S. degrees in Department of Computer Science and Technology from Nanjng University (NJU), advised by Prof. Xiaoxing Ma.

We explore the modeling and verification of distributed controllers using Alloy. Besides resorting to the Small Scopes Hypothesis of …

Yiqun Wang, Shengwei An, Xiaoxing Ma, Chun Cao, Chang Xu

DOI

We propose a formal framework for the specification and verification of DSU. Different from previous approaches where DSU is described …

Shengwei An, Xiaoxing Ma, Chun Cao, Ping Yu, Chang Xu

DOI

Teaching Assistant at Purdue University:

Sub-reviewer:

International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI), 2018