基本信息
views: 111
Career Trajectory
Bio
I gained a B.Sc. (Hons) Degree in Mathematics and Management Sciences in 1986 from the University of Hull. Then I taught mathematics in a rural secondary school Zimbabwe for two and a half years. On my return in 1989 I worked as a software engineer for a company producing software for manufacturing industry until 1991. Returning to education I joined the Department of Computer Science at the University of Manchester and obtained an M.Sc. Degree in Systems Design in 1992, and a Ph.D. in Computer Science in 1995. I joined the Department of Computing and Mathematics at the Manchester Metropolitan University in December 1995, as a Research Fellow on the project Proof Methods for Temporal Logics of Knowledge and Belief. In August 1997 I was appointed as a Senior Research Fellow (also known as a Research Lecturer). I was appointed lecturer in the Department of Computer Science at the University of Liverpool on 1st January 2001. I was promoted to senior lecturer in October 2004.
Research Interests
Papers共 60 篇Author StatisticsCo-AuthorSimilar Experts
By YearBy Citation主题筛选期刊级别筛选合作者筛选合作机构筛选
时间
引用量
主题
期刊级别
合作者
合作机构
Load More
Author Statistics
Co-Author
Co-Institution
D-Core
- 合作者
- 学生
- 导师
Data Disclaimer
The page data are from open Internet sources, cooperative publishers and automatic analysis results through AI technology. We do not make any commitments and guarantees for the validity, accuracy, correctness, reliability, completeness and timeliness of the page data. If you have any questions, please contact us by email: report@aminer.cn