LIU Yang

LIU Yang is a Professor at Nanyang Technological University, School of Physical and Mathematical Sciences, with a cross appointment from the Centre for Computational Design and Science. His research interests include Formal methods, Model checking, Software security, and Software engineering. He holds a PhD from the National University of Singapore.