cms

	RESEARCH STUDENT — Hao Zeng  B.Eng.(NUPT), M.Sc. with Distinction(UoL) Graduate Teaching Assistant and PhD Student
	G2 Ken Edwards Building School of Computing and Mathematical Sciences, University of Leicester, University Road, Leicester, LE1 7RH. T: +44 (0)116 252 3883 F: +44 (0)116 252 3604 E: hz110@le.ac.uk

About me

Currently, I am a PhD student in Department of Computer Science, co-supervised by Prof. Alexander Kurz and Dr. Emilio Tuosto. I started my PhD in June 2015. I am funded by the Graduate Teaching Assistantship of Department of Computer Science. I passed my viva on July 18th 2019.

Education

• Jun. 2015-Nov. 2019, Ph.D. student, Department of Computer Science, University of Leicester, UK.
• Oct. 2012-Jul. 2014, M.Sc. with Distinction in Advanced Computer Science, Department of Computer Science, University of Leicester, UK.
• Sep. 2007-Jul. 2011, B.Eng. in Software Engineering, School of Computer Science and Software Engineering, Nanjing University of Posts and Telecommunications, P.R.China

Research Interests

• Communication Protocol
• Process Algebra
• Formal Method
• Type System

Teaching Assistance

Semester 2015/2016 - I
• CW301 Help Desk on Wednesday, 10:00 to 11:00.
• CO2011 Automata, Languages and Computation
• CO4205/7205 Advanced System Design
• CO3098/7098 Web Technologies
• CO4105/7105 Advanced C++ Programming
• CO7215 Advanced Web Technologies
Semester 2015/2016 - II
• CW301 Help Desk on Friday, 12:00 to 13:00.
• CO1961 Understanding and Using Statistical Information
• CO4212/7212 Game Theory in Computer Science
• CO7216 Semantic Web
Semester 2016/2017 - I
• CW301 Help Desk on Friday, 10:00 to 11:00.
• CO1003 Program Design
• CO2006 Software Engineering and System Development
• CO2011 Automata, Languages and Computation
• CO3098/7098 Web Technologies
Semester 2016/2017 - II
• CW301 Help Desk on Friday, 12:00 to 13:00.
• CO1961 Understanding and Using Statistical Information
• CO2017 Operating Systems, Networks and Distributed Systems
• CO7216 Semantic Web
Semester 2017/2018 - I
• CW301 Help Desk on Thursday, 11:00 to 12:00.
• CO1012 Discrete Structures
• CO2006 Software Engineering and System Development
• CO2011 Automata, Languages and Computation
• CO3098/7098 Web Technologies
• CO4205/7205 Advanced System Design
Semester 2017/2018 - II
• CW301 Help Desk on Friday, 11:00 to 12:00.
• CO1961 Understanding and Using Statistical Information
• CO2017 Operating Systems, Networks and Distributed Systems
Semester 2018/2019 - I
• CW301 Help Desk on Friday, 10:00 to 11:00.
• CO1102 Programming Fundamentals
• CO1103 Mathematics Fundamentals
• CO2011 Automata, Languages and Computation
• CO4205/7205 Advanced System Design
Semester 2018/2019 - II
• CW301 Help Desk on Wednesday, 11:00 to 12:00.
• CO1108 Foundations of Computation
• CO7216 Semantic Web

Internship and Work

• Oct. 2013-Jan. 2014, Data Administrator in "The Impact of Diasporas" Project Group, School of History, University of Leicester
• Apr. 2012-Aug. 2012, Provincial Key Laboratory for High-Performance Computing Technology(Jiangxi)

Author: Hao Zeng (hz110@le.ac.uk), T: +44 (0)116 252 3883.
© University of Leicester 12th August 2015. Last modified: 15th October 2019, 17:52:55
CMS Web Maintainer. Any opinions expressed on this page are those of the author.