1. 1.2016: I am the Web Chair of the 2nd EAI International Conference on Industrial Networks and Intelligent Systems (INISCOM 2016) at the De Montfort University, UK.


  1. 2.December 2014 - April 2015: SICSA Postgraduate Industry Internship at the Shenzhen Jumper Medical Equipment Co., Ltd, Shenzhen, China.


  1. 3.5 December 2014: I help organising the SICSA Modelling & Abstraction event: Scottish Theorem Proving Seminar (STP 2014), held at the School of Computing Science, University of Glasgow.


  1. 4.2-7 September 2013: Attend the 13th International School on Foundations of Security Analysis and Design (FOSAD 2013) at the University Residential Center of Bertinoro, Italy.


  1. 5.16 May 2013: Attend the SICSA Workshop on Cyber-Physical Systems at the School of Informatics, University of Edinburgh, UK.


  1. 6.11-12 April 2013: Attend the 20th Automated Reasoning Workshop (ARW 2013) at the School of Computing, University of Dundee, UK.


  1. 7.2012-2015: I worked on the European Commission (EC) EATS project: European Train Control System (ETCS) Advanced Testing and Smart Train Positioning System (FP7-TRANSPORT-314219).


  1. 8.3 April 2012: Demonstrate a poster at the 19th Automated Reasoning Workshop (ARW 2012) at the School of Computer Science, University of Manchester, UK.