您的位置:首页 > 刘志明 > zhimingliu

ZhimingLiu

发布时间:2016-06-07 来源:本站原创 作者:本站编辑   浏览次数:

 中文版

Recruit   MSc &PhD students

We have   budget to support each PhD student to work at a   designated oversea partner for a minimum of 12 month 

Hire faculty   & research staff

We welcome   national and international visitors and interns

Welcome   to my homepage! I am currently leading to build RISE, a new Centre for   Research and Innovation in Software Engineering. We work in close   collaboration, and value all kinds of capacity and contribution from   individual members as well.

Personal Research

•      Program semantics, analysis and   verification

•      Software modelling, analsyis, design,   verification and tool support

•      Sofware technology for emerging systems   – Cyber-Physical Systems, IoT, Smart Cities, Data Centres

•      Applications of the above, such as in   healthcare, environment management, industry and manufacture automation, and   transport

Education and Academic Career

I   studied mathematics in university, hold a MSc degree from Software Institute   of the Chinese Academy of Science, and PhD in computer science from the   University of Warwick, UK. I worked as a research fellow and then   postdoctoral research fellow at the University of Warwick (1988-1994), a   researcher at the Technical University of Denmark (1991-1992), a university   lecturer at the University of Leicester (UK, 1994-2005), a research fellow   and then senior research at the United National University – International   Institute for Software Technology (UNU-IIST, 2002-2013), and Professor of   Software Engineering at Birmingham City University (2013-1015).

Research Achievements

I   am known by the work on fault-tolerant program design and verification by   transformations that established a theory of fault-tolerant refinement, and   his work on the rCOS method for model-driven design of object and component   software. The key bibliographic database lists over 150 of his peer reviewed   publications in recognized outlets. These include papers published in the top   journals on formal methods, ACM Transactions on Programming Languages, Formal   Aspects of Computing, Science of Computer Programming and Theoretical   Computer Science. For details of my publications, please visit

•      DBLP: http://dblp.uni-trier.de/pers/hd/l/Liu_0001:Zhiming

•      ResearchGate:   https://www.researchgate.net/profile/Zhiming_Liu7

Funded Research Projects

•      National 1000 Experts Program, 10   million CNY, 2016-2021

 International Conferences

•      Founder of ICTAC, FACS and SETTA

•      Member of Steering Committees of ICTAC,   FACS and SETTA

Honors and Award

•      Fellow of British Computer Society   (FBCS)

•      Senior Member of ACM

•      2nd prize of Natural Science of Macao   SAR Science and Technology Awards, September 2012


Call for Applications of Research Students

ResearchStudents.pdf



Publications

- DBLP: http://dblp.uni-trier.de/pers/hd/l/Liu_0001:Zhiming
- ResearchGate: https://www.researchgate.net/profile/Zhiming_Liu7
- Academia: https://southwest.academia.edu/ZhimingLiu
https://en.wikipedia.org/wiki/Zhiming_Liu_(computer_scientist)

         



                   

                   


  • 上一篇:没有了
  • 下一篇:没有了