FLOC 2018: FEDERATED LOGIC CONFERENCE 2018
Jingyi Wang
Organization: SUTD
Web page: http://wang-jingyi.github.io/
Pages in this Program
All Proceedings Papers
FM FMComplete
FM FMComplete: Papers with Abstracts
FM on Sunday, July 15th
FM Program
Paper: Towards `Verifying' a Water Treatment System
Program
Program for Sunday, July 15th
Bio

Jingyi Wang is currently a Research Fellow with Prof. Sun Jun in Information Systems Technology and Design (ISTD) pillar, Singapore University of Technology and Design (SUTD), Singapore, where he obtained his PhD in Feb 2018. Before that, he received his B.E. degree in Information Engineering in Xi'an Jiaotong University in July 2013. His current research interests mainly lie in security problems in Artificial Intelligence (mainly deep learning systems) and Blockchain systems.