个人简介

赵一石,男,软件工程系,智能信息处理与计算研究组成员。

教育背景

  • 2007-2011     Newcastle University    PhD

  • 2005-2006    Newcastle University  MSc

  • 2000-2004   北京理工大学 B.E.

工作经历

  • 2014.01-至今    中国地质大学(武汉)讲师

  • 2012-2013        联合国大学国际软件技术研究所 博士后

  • 2012                北京辰安科技股份有限公司武汉分公司 副总工程师

研究方向

  • 性能建模与性能评估

  • 物联网的软件体系架构

  • 移动云平台的资源管理

  • 软件质量评估

  • 随机进程代数

科研项目

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.

教学情况

软件体系结构,面向对象软件工程与UML,人机交互,信息导论。

代表性论文

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 .

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 : 15thInternational 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 the5th 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.

L. Sha, J. Ding, X. Chen, X. Zhang, Y. Zhang, Y. Zhao, Performance Modeling of Openstack Cloud Computing Platform Using Performance Evaluation Process Algebra?in Proceeding of the 2015 International Conference on Cloud Computing and Big Data, pp.49-56, Aug. 2015.

Y. Zhao and N. Thomas, Performance modelling of optimistic fair exchange, in Proceeding of 23rd International Conference on Analytical & Stochastic Modelling Techniques & Applications, Cardiff, UK, Aug. 2016.

审稿人

Coordination Models, Languages and Application, Special Track of the 27th ACM Symposium on Applied Computing (SAC’ 12).

Journal of Theoretical Computer Science, Elsevier. (a special issue in 2013).

SOP Transactions on Wireless Communications, Scientific Online Publishing. (2014).

Open Transactions on Information Processing, Scientific Online Publishing. (2014).

Open Journal of Communications and Software, Scientific Online Publishing. (2014).

Journal of Logical and Algebraic Methods in Programming, Elsevier. (2014).

联系方式

地 址:湖北省武汉市洪山区鲁磨路388号

Email: eason_zhao(AT)sina.com