About me ...

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


Concordia University University College Dublin University of Limerick 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. Currently, I am working as a freelancer providing a high-tech expertise in the broad field of data science. For over 10 years, I worked as a Senior Research Fellow at Lero (the Irish Software Research Centre) at University College Dublin (UCD) and University of Limerick, Ireland where I led and 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 R&D activities focus on data science and graph data bases, 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 data science, graph databases, entity resolution, 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 140 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 Publication Date: September 25, 2012. URL: NASA Technical Reports Server (NTRS)
  • Mike Hinchey, Emil Vassev, Bridget Hinchey and Roy Sterritt. Power Provision Based on Self-Sacrificing Craft. US-Patent-9,171,266, US-Patent-Appl-SN-13/606,174, NASA. Patent Publication Date: October 27, 2015. URL: NASA Technical Reports Server (NTRS)
  • 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 December 1, 2019