Yiliang (Leo) Liang is a first-year PhD student in Software Engineering at the Software and Societal Systems Department, Carnegie Mellon University. He is advised by Dr. Eunsuk Kang and Dr. Joshua Sunshine. Yiliang is interested in improving the efficiency and user experience of formal methods tools, such as using visualizations to make formal models easier to understand and debug.