Zhiyang Ong is an Electrical Engineering Ph.D. student at Texas A&M University. He received his M.S. in Electrical Engineering from the University of Southern California and his Bachelor of Engineering (Electrical and Electronic) from the University of Adelaide. He has interned at the Institute of Microelectronics and Bioinformatics Institute in Singapore, Symantec Corporation in Santa Monica, California, and the University of Trento in Trento, Italy. He has also studied at the University of Verona and National Taiwan University. He is a student member of IEEE and ACM and is a member of IEEE-Eta Kappa Nu. Zhiyang led discussions of quantum modeling checking in the Quantum Robotics Group.