Speaker: Prof. Liu Shaoying, Hosei University of Japan

Time: 10:00, March 23, 2011

Venu: B8 Lecture Hall

About Prof. Liu Shaoying:

Professor at Hosei University, Japan. He is a renown computer expert specialized in formal methods research. Prof Liu spent his early years in Xi'an Communication university and graduated with Bacholer and Master degrees. He then studied for Ph.D. in Manchester University of UK.

Prof. Liu is currently vice-chair of Complexity Committee of IEEE-CS, member of IEEE-CS, UK Academy of Computing, and Japan Software Science and Tech Society. Over the years, Prof. Liu has made important contribution to many fields in computer science, including formal methods and theories, software development methods, software testing, reliability complexity computing system and intelligent software engineering environment. He published over 80 papers in famous international journals and conference transactions. He's written 4 published books.