Sharing on Research Areas of Interest of SUTD Faculty Build Your Own Model Checker in One Month SUN, Jun Assistant Professor@SUTD, Visiting Scientist@MIT Jing Song Dong and…