I am an applied computer scientist combining extensive academic research experience with industrial research, R&D and research commercialisation experience.
My current research efforts are concentrated on several core problems from the area of semantic data management. On the application side, my research aims at providing life scientists and clinicians with scalable self-service access to data, typically distributed and heterogeneous. Semantic technologies, based on semantic data standards and automated reasoning, alleviate many data access-related challenges faced by biologists and clinicians, such as data fragmentation, necessity to combine data with computation and declarative knowledge in querying, and the difficulty of accessing data for non-technical users.
The specific research directions include:
Case studies on the application of semantic technologies, especially semantic data federation and self-service ad hoc querying, in Bioinformatics [1,2,3,4,5,6], Cheminformatics  and Clinical Research Informatics [8,9,10,11] scenarios, to validate various semantic technologies and identify new practically relevant research problems.
Scalable implementation of query engines for automatically discoverable Web services, such as SADI, facilitating federated reasoning-enabled querying of distributed heterogeneous data and algorithms (industry work).
Intelligent multi-modal user interfaces for self-service access to semantic data by non-technical users, such as biomedical researchers and clinicians (industry work).
Fundamental and experimental research on efficient algorithms for reasoning-enabled querying of semantic data, in particular, query rewriting techniques for semantic querying .
In the foreseeable future, I also would like to work on scalable methods for SPARQL endpoint federation and reasoning-enabled Linked Data querying.
The research component of my current work as the CTO of IPSNP Computing Inc is dedicated to the development of scalable methods for reasoning-enabled orchestration of SADI services, and research on semantic query composition interfaces and underlying algorithms. It resulted in the development of the HYDRA query engine and graphical query composition tool for SADI services. This work builds on a prior project at the University of New Brunswick, studying the utility of for data and algorithm integration tasks associated with several Bioinformatics [1,2,3,4,5,6], Cheminformatics  and Clinical Intelligence [8,9,10,11] applications.
Prior to the SADI work, at North Side Inc, I was developing practical methods for commonsense reasoning and semantic parsing for Natural Language Understanding. At that time I was also working on Semantic Querying algorithms and new foundations for Deductive Databases. This work resulted in the development of the Incremental Query Rewriting method  which I consider my highest research achievement so far.
Before that, I worked for several years on efficient algorithms and datastructures for automated reasoning [13,14,15,16,17,18,19], and developed the resolution- and paramodulation-based kernel of the theorem prover Vampire [20,21], which remains one of the strongest systems of its kind since 1999.