Research output per year
Research output per year
Personal profile
Biography
I joined Aston School of Engineering and Applied Science in February 2009, after having spent six years at the University of Southampton and the University of Manchester, where he carried out research in formal software engineering and knowledge-based systems and services.
Research Interests
- Semantic Web
- Web Services
- Real-time concurrent system specification
- Formal methods and safety critical systems
- Unified Modeling Language (UML)
Teaching Activity
- 2008-2019: CS4670 OO Software Process and Management
- 2011-2019: CS4830 Requirements Engineering
- 2014-present: Enterprise Application Technology
Qualifications
- PhD, in Computer Sciences, National University of Singapore, July 2001 - January 2004
- BSc. (First Class Honors) in Computer and Information Sciences, National University of Singapore, July 2000 - June 2001
- BSc. in Computer and Information Sciences, National University of Singapore, July 1997 - June 2000
Employment
- 2009 – date: Lecturer/Senior Lecturer of Computer Science, School of Engineering and Applied Science, Aston University.
- 2006 -2009: Research Fellow of Intelligence-Agents-Multimedia (IAM) Group, Electronics and Computer Science, University of Southampton
- 2003-2006: Research Associate of Medical Informatics Group, Computer Science Department ,The University of Manchester
- 2001-2003: Research Assistant of Software Engineering Group, School of Computing, National University of Singapore
Contact Details
Phone number: 0121 204 3457
Email: h.wang10@aston.ac.uk
Room Number: MB214L
Research Interests
- I would like to thank Liquid XML, who sponsored the XML editor used by CS3160 and DC3160.
Fingerprint
Dive into the research topics where Hai Wang is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Collaborations and top research areas from the last five years
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
cPV – Simulation and Verification for Membrane Computing
Liu, Y., Sun, J., Nicolescu, R. & Wang, H., 5 Dec 2022, Proceedings of the 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS). IEEE, p. 606-615 10 p.Research output: Chapter in Book/Published conference output › Conference publication
-
Key concepts of group pattern discovery algorithms from spatiooral trajectories
Dluzniak, K., Jie, W., Wang, H. & Xing, W., 23 Mar 2020, Proceedings - 15th International Conference on Semantics, Knowledge and Grids: On Big Data, AI and Future Interconnection Environment, SKG 2019. Zhuge, H. & Sun, X. (eds.). IEEE, p. 190-197 8 p. 9044133. (Proceedings - 15th International Conference on Semantics, Knowledge and Grids: On Big Data, AI and Future Interconnection Environment, SKG 2019).Research output: Chapter in Book/Published conference output › Conference publication
-
Network Representation Learning Guided by Partial Community Structure
Sun, H., Jie, W., Wang, Z., Wang, H. & Ma, S., 17 Mar 2020, In: IEEE Access. 8, p. 46665-46681 17 p., 9025035.Research output: Contribution to journal › Article › peer-review
Open AccessFile -
Software Agent-Centric Semantic Social Network for Cyber-Physical Interaction and Collaboration
Hussain, N., Wang, H. H., Buckingham, C. D. & Zhang, X., 29 Jul 2020, In: International Journal of Software Engineering and Knowledge Engineering. 30, 6, p. 859-893 35 p.Research output: Contribution to journal › Article › peer-review
-
Artifact-Centric Semantic Social-Collaboration Network in an Online Healthcare Context
Hussain, N., Wang, H. & Buckingham, C., 13 Apr 2019, IADIS International Conference e-Society 2019. Kommers, P., Ravesteijn, P., Ongena, G. & Isaías, P. (eds.). IADIS, p. 251-260 9 p.Research output: Chapter in Book/Published conference output › Conference publication
Open AccessFile