Mar 8, 2024 · Shengyi Wang · Publications · Thesis · Side Projects. Hyperbolic Tilings via Group Theory and Automata Applying mathematical and computer ...
Shengyi Wang. Temple University. Verified email at temple.edu. Smart GridDeep Learning. ArticlesCited byPublic access. Title. Sort. Sort by citations ...
I am a Postdoc and lecturer working with Prof. Liang Du at Temple University. My primary research interests are data-driven optimization and artificial ...
Shengyi Wang. Princeton University. Verified email at princeton.edu - Homepage · Programming LanguagesFormal Verification. ArticlesCited byPublic ...
Proving Logical Atomicity using Lock Invariants. In Workshop on Advances in Separation Logics, 2022. [4] Shweta Shinde, Shengyi Wang, Pinghai Yuan, Aquinas ...
Shengyi Wang (Student Member, IEEE) received the B.S. and M.S. degrees in electrical engineering from the Shanghai University of Electric Power, China, and ...
Name:Shengyi Wang ; Country:United States ; Affiliation:Princeton University ; Personal website: https://www.cs.princeton.edu/~shengyiw/ ; Research interests:Formal ...