.

Dr Hai Wang

Computer Science

Hai Wang

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.

Position: Lecturer
Phone: 0121 204 3457 
Email: h.wang10@aston.ac.uk 
Room:MB214B

  • 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
Awards
  • Dean's Graduate Award, 2003

  • IEEE Singapore Information Technology Book Prize (best Honours Year project), 2001

  • Singapore MOE Scholarship, 1996 - 2001

  •  2009 – date: 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 Singapo
  • 1999: Part-time System Analyst, HP
  • 2008-2009: CS4670 OO Software Process and Management
  •  Semantic Web
  • Web Services
  • Real-time concurrent system specification (TCOZ)
  • Web environment for software design (ZML)
  • Formal methods and safety critical systems
  • Unified Modeling Language (UML) , XML/XSL
  • Unifying Theories of Programming

 I am currently interested in taking new PhD students. Contact me only if you are very interested in formal methods, Semantic Web and Web Services.

 Journals
  • Hai H. Wang, Jin S. Dong, Jing Sun, Terry Payne, Nick Gibbins, Yuan Fang Li, and Jeff Pan, An Integrated Formal Approach to Semantic Work Environments Design , chapter ofEmerging Technologies for Semantic Work Environments: Techniques, Methods,and Applications, 2007 (accepted)
  • Hai H. Wang , Yuan Fang Li, Jing Sun, Hong Yu Zhang and Jeff PanVerifying Feature Models using OWL, Journal of Web Semantics, 2007 (to appear) (pdf)(bib)
  • Yuan Fang Li, Jing Sun, Gillian Dobbie, Hai H. Wang and Jun Sun. Reasoning about ORA-SS Data Models using the Semantic Web, Journal of Data Semantics VII, Lecture Notes in Computer Science, Springer, 2006 (accepted) (pdf)(bib)
  • Hai Wang, Jin Song Dong, Jing Sun and Jun Sun. Reasoning Support for Semantic Web Ontology Family Languages Using Alloy. International Journal of Multiagent and Grid Systems, Special issue on Agent-Oriented Software Development Methodologies, IOS press, 2007. (to appear) (pdf)(bib)
  • Jing Sun, Jin Song Dong, Stanislaw Jarzabek and Hai Wang. CAD System Family Architecture and Verification: An Integrated Formal Approach, IEE Proceedings Software, 2006. (pdf)(bib)
  • Jing Sun, Jin Song Dong, Jing Liu and Hai Wang. A Formal Object Approach to the Design of ZML. Annals of Software Engineering: An international journal, 13:329-356, Kluwer Academic Publishers, 2002. (BibTex)

Conferences  

  • Hai H. Wang , Ahem Saleh, Terry Payne and Nick Gibbins . Formal Specification of OWL-S with Object-Z:   the Dynamic Aspect , The 8th International Conference on Web Information Systems Engineering, Dec. 2007, Nancy, France
  • Hai H. Wang , Shengchao Qin, Jun Sun and Jin Song DongRealizing Live Sequence Charts in SystemVerilog , 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE'07), June. 2007. Shanghai, China.
  • Hai H. Wang Ahem Saleh, Terry Payne and Nick Gibbins . Formal Specification of OWL-S with Object-Z: the Static Aspect , The 2007 IEEE/WIC/ACM International Conference on Web Intelligence, Nov. 2007, Silicon Valley, USA
  • Hai H. Wang Nick Gibbins, Terry Payne, Ahem Saleh and Jun SunA Formal Semantics Model of the Semantic Web Service Ontology (WSMO) , 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'07), Jul. 2007, Auckland, NZ
  • Yuzhang Feng, Yuan Fang Li, Colin Keng-Yan Tan, Bimlesh Wadhwa and Hai H. Wang . Belief-augmented OWL (BOWL) - Engineering the Semantic Web with Beliefs , 12th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'07), Jul. 2007, Auckland, NZ
  • Yuan Fang Li, Jing Sun, Gillian Dobbie, Jun Sun and Hai Wang. Validating Semistructured Data using OWL. 7th International Conference on Web-Age Information Management (WAIM'06), Hong Kong, China, June, 2006. (pdf)(BibTex)
  • Jing Sun, Hai Wang, Sasanka Athauda and Tazkiya Sheik. SVG Web Environment for Z Specification Language. 7th International Conference on Formal Engineering Methods (ICFEM'05), Manchester, United Kingdom, November 2005. (pdf) (BibTex)
  • Jun Sun, Yuan Fang Li, Hai Wang and Jing Sun. Visualizing and Simulating Semantic Web Services Ontologies. 7th International Conference on Formal Engineering Methods (ICFEM'05), Manchester, United Kingdom, November 2005.(BibTex)
  • Hai Wang, M. Horridge, A. Rector,  N. Drummond and J. Seidenberg, Debugging OWL-DL Ontologies: A Heuristic Approach. 4th International Semantic Web Conference (ISWC'05), Galway, Ireland, November, 2005. (BibTex)
  • Hai Wang, Jin Song Dong, Jing Sun and Yuan Fang Li. TCOZ Approach to OWL-S Process Model Design. 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), Taipei, Taiwan, July 2005. (BibTex)
  • Hai Wang, Jin Song Dong and Jing Sun. Reasoning Support for SWRL-FOL Using Alloy. 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'05), Taipei, Taiwan, July 2005.(BibTex)
  • Jing Sun, Hongyu Zhang, Yuan Fang Li and Hai Wang. Formal Semantics and Verification for Feature Modeling. 10th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'05), IEEE Press, Shanghai, China, June 2005. (BibTex)
  • Rector, A., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wang, H. and Wroe, C., Designing User interfaces to Minimise Common Errors in Ontology Development: The CO-ODE and HyOntUse Projects. UK E-Science All Hands Meeting 2004(AHM�04), ACM Press, Aug 2004.
  • Rector, A., Drummond, N., Horridge, M., Rogers, J., Knublauch, H., Stevens, R., Wang, H. and Wroe, COWL Pizzas: Common errors & common patterns from practical experience of teaching OWL-DL. 14 th  International Conference on Knowledge Engineering and Knowledge Management (EKAW�04), ACM Press, Oct 2004. (BibTex)
  • Jin Song. Dong, Chew Hung Lee, Yuan Fang Li and Hai Wang. A Combined Approach to Checking Web Ontologies. 13th ACM International World Wide Web Conference (WWW'04), refereed track, ACM Press, New York, USA, May 2004. (BibTex)
  • Jin Song. Dong, Yuan Fang Li and Hai Wang. TCOZ Approach to Semantic Web Services Design. 13th ACM International World Wide Web Conference (WWW'04), poster, New York, USA, May 2004.
  • Jin Song Dong, Yuan Fang Li and Hai Wang. Verifying DAML+OIL and Beyond in Z/EVES. The 26th International Conference on Software Engineering (ICSE'04), IEEE Press, Edinburgh, Scotland, May 2004. (technical paper) (BibTex)
  • Jin Song Dong, Jing Sun and Hai Wang. Checking and Reasoning about Semantic Web through Alloy. 12th International Symposium on Formal Methods Europe (FM'03). LNCS, pages 796-813, Springer-Verlag, Pisa, Italy, Sep 2003. (BibTex)
  • Jin Song Dong, Jun Sun, Hai Wang, Analysing Semantic Web Ontology: A Military Case Study. The 15th International Conference on Software Engineering and Knowledge Engineering (SEKE'03), San Francisco, USA, KSI Press, July 2003. (BibTex)
  • Jin Song Dong, Jing Sun and Hai Wang . Z Approach to Semantic Web. International Conference on Formal Engineering Methods (ICFEM'02), LNCS, Springer-Verlag, pages 156-167, Shanghai, China. Oct 2002. (pdf) (BibTex)
  • Jin Song Dong, Yuan Fang Li, Jing Sun, Jun Sun and Hai Wang. XML-based static type checking and dynamic visualization for TCOZ. ICFEM'02, pages 311-322, Oct 2002. (pdf)(BibTex)
  • Jin Song Dong, Jing Sun and Hai Wang. Semantic Web for Extending and Linking Formalisms. Formal Methods Europe (FME'02 - FLoC), LNCS, Springer-Verlag, pages 587-606, Copenhagen, Denmark, July 2002. (pdf) (BibTex)
  • Jing Sun and Jin Song Dong and Jing Liu and Hai Wang. An XML/XSL Approach to Visualize and Animate TCOZ. The 8th Asia-Pacific Software Engineering Conference (APSEC'01). IEEE Press, pages 453-460, Macau, Dec 2001. (BibTex)
  • Jing Sun, Jin Song Dong, Jing Liu and Hai Wang. Object-Z Web Environment and Projections to UML. 10th International World Wide Web Conference (WWW'01), refereed track, pages 725-734, ACM Press, HK, May 2001. (ISBN 1581133480)(BibTex)

    PhD Thesis

    • Hai Wang, Semantic Web and Formal Design Methods. Computer Science Department, The National University of Singapore, 2004. (PDF)

    Some Reports:

    • Jing Sun, Jing Song Dong, Jing Liu and Hai Wang. Z family on the web with their UML photos. TRA1-01, School of Computing, National University of Singapore. January, 2001. (postcriptpdf)

Employable Graduates; Exploitable Research