Ali Hamie

Ali Hamie is a Senior Lecturer at the School of Architecture, Technology and Engineering (University of Brighton, UK), specializing in formal methods in software engineering and ontology modeling. With over 35 publications, his work bridges theoretical formalisms like UML, OCL, and JML with practical implementation validation.

• BSc in Pure Mathematics (Lebanese University, 1982)
• Postgraduate Diploma in Computing (University of Essex, 1986)
• MSc in Computer Science (University of Essex, 1987)
• PhD in Computer Science (University of Essex, 1991)

His research focuses on formal aspects of software development, including specification patterns, design by contract, and translation between formal notations (OCL to JML). Recent work examines diagrammatic reasoning in ontology engineering and hybrid modeling approaches combining formal and agile methods.

Studies show his publications span formal methods, ontology modeling, and constraints validation, with recurring themes in OCL-JML interoperability, diagrammatic notations, and user-centric formalism evaluation. Awards include Fellow of the Higher Education Academy (2017).

He supervises research in formal computing, with past topics covering concept diagrams and ontology modeling. His academic career includes postdoctoral roles at Newcastle University and EPSRC-funded work at Imperial College.