姓 名 赵一石 性 别 男
出生年月 1982年9月 籍贯
民 族 汉族 政治面貌
最后学历 博士研究生 最后学位 哲学博士
技术职称 讲师 导师类别 硕导
行政职务 Email eason_zhao@sina.com
工作单位 信工学院 邮政编码 430074
通讯地址 湖北省武汉市鲁磨路 388号
单位电话
个人主页


工作经历
2014-今，中国地质大学（武汉），讲师
2012-2013，联合国大学国际软件技术研究所，博士后研究员
2012，北京辰安科技股份有限公司武汉分公司，副总工程师

教育经历
2007-2011, Newcastle University, PhD
2005-2006, Newcastle University, MSc
2000-2004,北京理工大学, B.E.

研究领域
Performance modelling and evaluation
Stochastic process algebra
Scalable performance analysis
Performance modelling with applications on
- security mechanisms
-interactive system
- ecosystems
- human behaviour

科研项目
AMPS: Analysis of Massively Parallel Stochastic Systems, funded by EPSRC (Engineering and Physical Sciences Research Council), refs:EP/G011389/1.
Engineering Accountable Ensembles (EAE) project funded by the Macau Science and Technology Development Fund.

发表论文
Y. Zhao and N. Thomas, Modelling secure secret key exchange using stochastic process algebra, in : 23rd UK Performance Engineering Workshop , pp : 50 -57 , 2007 .
Y. Zhao and N. Thomas, Approximate solution of a PEPA model of a key distribution centre, in : SPEC International Performance Evaluation Workshop , LNCS 5119 , pp : 44 -57 , 2008 .
N. Thomas and Y. Zhao, Fluid Flow Analysis of a Model of a Secure Key Distribution Centre, in : 24th UK Performance Engineering Workshop , pp : 160 -171 , 2008 .
Y. Zhao and N. Thomas, A Cost Model Analysis of a Secure Key Distribution Centre, in : Proceedings of the 9th International Conference for Young Computer Scientists , pp : 1969 -1974 , IEEE Computer Society, 2009 .
N.Thomas and Y.Zhao,Mean Value Analysis for a Class of PEPA Models, in : 6th European Performance Engineering Workshop , LNCS 5652 , pp : 59 -72 , 2009 .
Y. Zhao and N. Thomas, Experiences of Using the PEPA Performance Modelling Tools with anon-repudiation protocol, in : The 2009 European Simulation and Modelling Conference , pp : 95 -100 , EUROSIS-ETI, 2009 .
Y. Zhao and N. Thomas, Comparing Methods for the Efficient Analysis of PEPA Models of Non-repudiation Protocols, in : 15th International Conference on Parallel and Distributed Systems , pp : 821 -827 , IEEE Computer Society, 2009 .
Y. Zhao and N. Thomas, Efficient solutions of a PEPA model of key distribution centre with a cost function, Performance Evaluation,Vol. 67 , Issue 8 , pp : 740 -756 , Elsevier B.V, 2010 .
N. Thomas and Y. Zhao, Mean value analysis for a class of PEPA models, Computer Journal, Vol. 54, Issue 5, pp : 643 -652 , Oxford University Press, 2011.
Y. Zhao and N. Thomas, A Simplified Solution of a PEPA Model of Kerberos Protocol, in : The 1st International Workshop on Service Oriented QoS Management from Theory to Practice , IEEE Computer Society, 2011 .
N. Thomas, M. Harrison, Y. Zhao and X. Chen, Formal performance modeling: from protocols to people, in : 28th UK Performance Engineering Workshop , July 2012.
A. Cerone and Y. Zhao, Stochastic Modelling and Analysis of Driver Behaviour, in : Proceedings of the 5th International Workshop on Formal Methods for Interactive Systems , ECEASST, June 2013 .
Nigel Thomas and Yishi Zhao, Performance modelling of security protocols, Performance and Security Modelling & Evaluation of Cooperative Heterogeneous Networks (HETNETS 2013), IFIP, 2013.
Leijie Sha, Jie Ding, Xiao Chen, Xiaobin Zhang, Yun Zhang and Yishi Zhao,Performance Modeling of Openstack Cloud Computing Platform Using Performance Evaluation Process Algebra, International Conference on Cloud Computing and Big Data 2015.
Yishi Zhao and Nigel Thomas, Performance modelling of optimistic fair Exchange, 23rd International Conference on Analytical & Stochastic Modelling Techniques & Applications, UK 2016.