About me ...

Knowledge is a pyramid - to build upward, you need a solid foundation.


Concordia University, Montreal, Canada University College Dublin, Dublin, Ireland University of Limerick, Limerick, Ireland Lero, Ireland NASA ESA
MCSD - Microsoft Brain Bench IEEE Computer Society
Irish Computer Society
The American Institute of Aeronautics and Astronautics (AIAA)

SHORT PROFESSIONAL BIO

I received my M.Sc. in Computer Science (2005) and my Ph.D. in Computer Science (2008) from Concordia University, Montreal, Canada. Currently, I am a Senior Research Fellow at Lero (the Irish Software Research Centre) at University of Limerick, Ireland where I have led and am currently leading a few important projects including the Lero’s participation in the ASCENS FP7 Project, the Lero’s joint project with the European Space Agency on Autonomous Software Systems Development Approaches, and the Lero’s contractual project with the European Space Agency and Gaisler AB of Gothenburg, Sweden on a new LLVM backend for the Open Source LLVM compiler library to enable it to be used for the LEON chip family.

My current research focuses on autonomy requirements engineering and knowledge representation and self-awareness for self-adaptive systems. My recent work on that field has resulted in KnowLang, a framework dedicated to knowledge representation and reasoning in self-adaptive systems. KnowLang aims at efficient and comprehensive knowledge structuring and awareness based on logical and statistical reasoning. Knowledge specified with KnowLang takes the form of a knowledge base that outlines a knowledge representation context. A special KnowLang Reasoner operates in this context to allow for knowledge querying and update and to infer special self-adaptive behavior.

More broadly, my research interests are in software development methodologies for developing autonomic systems. In the course of my Ph.D. studies at Concordia University, I developed ASSL (Autonomic System Specification Language), a framework dedicated to autonomic computing development that addresses the problems of formal specification and code generation of autonomic systems. ASSL implies a multi-tier structure for specifying autonomic systems and targets their automatic code generatiorn. In 2008 to continue my research on ASSL, I was awarded a highly competitive IRCSET Postdoctoral Fellowship at UCD, Ireland.

A part from the main research, my research interests include engineering autonomic systems, distributed computing, formal methods, software engineering, programming languages, compilers, cyber forensics, sensor networks, real-time systems, embedded systems, home automation, network protocols, machine learning, and multiagent systems. I have published two theses and two books. In addition, I have published over 130 internationally peer-reviewed publications including journal papers, book chapters, and conference and workshop papers. I hold a USA Patent entitled "Method of Improving System Performance and Survivability through Changing Function" filed with NASA.

I have been a member of the IEEE Computer Society since 2008, a member of the Irish Computer Society since 2011, and a senior memmber of the American Institute of Aeronautics and Astronautics (AIAA). I hold a few software engineering certifications including MCSD (Microsoft Certified Solution Developer - 2001).

EDUCATION

Concordia University - Montreal, Canada
  • Ph.D. in Computer Science, Concordia University, Canada, November 2008.
  • Thesis: Towards a Framework for Specification and Code Generation of Autonomic Systems
  • Concordia University - Montreal,Canada
  • M.Sc. in Computer Science, Concordia University, Canada, June 2005.
  • Thesis: General Architecture for Demand Migration in the GIPSY Demand-Driven Execution Engine
  • PATENTS

  • Mike Hinchey and Emil Vassev. Method of Improving System Performance and Survivability through Changing Function. US-Patent-8,275,724, US-Patent-Appl-SN-12/569,422, NASA. Patent Filed Date: September 29, 2009. Publication Date: September 25, 2012. URL: On Google Patents
  • Mike Hinchey, Emil Vassev, Delia Hinchey and Roy Sterritt. Power Provision Based on Self-Sacrificing Craft. US-Patent-Appl-US-13/606,174 NASA. Publication Date: May 23, 2013. URL: On Google Patents
  • BOOKS

    Autonomy Requirements Engineering for Space Missions. NASA Monographs in Systems and Software Engineering. Springer, the Netherlands, August 2014. ASSL: Autonomic System Specification Language - A Framework for Specification and Code Generation of Autonomic Systems. LAP Lambert Academic Publishing, Germany, November 2009. General Architecture for Demand Migration in Distributed Systems. LAP Lambert Academic Publishing, Germany, August 2009.

    CERTIFICATES

  • MCSD (Microsoft Certified Solution Developer) , May, 2001
  • MCP (Microsoft Certified Professional) , May, 2000
  • BrainBench Delphi 5.0 Enterprise , August, 2001

  • Last modified on February 14, 2015