[to Alexandre Riazanov's home page]



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: 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 [7] 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 [12] 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.






For more information on my research, see my CV.


[1] J.B Laurila, N. Naderi, R. Witte, A. Riazanov, A. Kouznetsov and C. J. O. Baker, Algorithms and Semantic Infrastructure for Mutation Impact Extraction and Grounding, BMC Genomics 2010, 11(Suppl 4):S24, 2010

[2] A. Riazanov, J.B Laurila and C. J. O. Baker, Deploying Mutation Impact Text-Mining Software with the SADI Semantic Web Services Framework, BMC Bioinformatics 2011, 12 (Suppl 4):S6, 2011

[3] A. Klein, A. Riazanov, M. M. Hindle, C. J. O. Baker, Benchmarking Infrastructure for Mutation Text Mining, Journal of Biomedical Semantics 2014, 5:11.

[4] M. M. Hindle, A. Riazanov, E. S. Goudreau, C. J. Martyniuk, C. J. O. Baker, Leveraging SADI Semantic Web Services to Exploit Fish Toxicology Data, Proc. CSWWS 2011, 2011

[5] A. Riazanov, M. M. Hindle, E. S. Goudreau, C. J. Martyniuk, C. J. O. Baker, Ecotoxicology Data Federation with SADI Semantic Web Services, Proc. SWAT4LS 2012.

[6] A. Klein, A. Riazanov, K. Al-Rababah, M. Vihinen, C. Baker, Towards a next generation protein mutation grounding system for full texts, Proc. SMBM 2012, 2012

[7] L. L. Chepelev, A. Riazanov, A. Kouznetsov, H. S. Low, M. Dumontier, C. J. O. Baker, Prototype Semantic Infrastructure for Automated Small Molecule Classification and Annotation in Lipidomics, BMC Bioinformatics 2011, 12(1):303.

[8] A. Shaban-Nejad, G.W. Rose, A. Okhmatovskaia, A. Riazanov, C.J.O. Baker, R. Tamblyn, A.J. Forster, D.L. Buckeridge, Knowledge-based Surveillance for Preventing Postoperative Surgical Site Infection, Stud. Health Technol. Inform., volume 169, IOS Press, 2011

[9] A. Riazanov, A. Klein, A. Shaban-Nejad, G.W. Rose, A.J. Forster, D.L. Buckeridge, C.J.O. Baker, Semantic Querying of Relational Data for Clinical Intelligence: A Semantic Web Services-Based Approach, Journal of Biomedical Semantics, 2013, 4:9

[10] A. Shaban-Nejad, G.W. Rose, A. Okhmatovskaia, A. Riazanov, C.J. Baker, R. Tamblyn, A. J. Forster, D.L. Buckeridge, Knowledge-based Surveillance for Preventing Postoperative Surgical Site Infection, User Centred Networked Health Care - Proceedings of MIE 2011, 2011

[11] A. Shaban-Nejad, A. Riazanov, K. M. Charland, G. W. Rose, C. J.O. Baker, R. Tamblyn, A. J. Forster, D. L. Buckeridge, HAIKU: A Semantic Framework for Surveillance of Healthcare-Associated Infections, Procedia Computer Science, volume 10, 2012

[12] A. Riazanov and M. A. T. Aragao, Incremental Query Rewriting, Canadian Semantic Web: Technologies and Applications, 2010 [abstract]

[13] A. Riazanov and A. Voronkov, Limited Resource Strategy in Resolution Theorem Proving, Journal of Symbolic Computation, 36:1-2, 2003 [abstract]

[14] A. Riazanov and A. Voronkov, Efficient Instance Retrieval with Standard and Relational Path Indexing, Information and Computation, Vol. 199, Issues 1-2, 2005 [abstract]

[15] A. Riazanov and A. Voronkov, Partially Adaptive Code Trees, Proc. JELIA, LNAI 1919, 2000 [abstract]

[16] A. Riazanov and A. Voronkov, Splitting without Backtracking, Proc. IJCAI-17, vol. 1, 2001 [abstract]

[17] R. Nieuwenhuis, T. Hillenbrand, A. Riazanov and A. Voronkov, On the Evaluation of Indexing Techniques for Theorem Proving, Proc. IJCAR-1, LNAI 2083, 2001

[18] A. Riazanov and A. Voronkov, Efficient Checking of Term Ordering Constraints, Proc. IJCAR 2004, LNAI 3097, 2004 [abstract]

[19] A. Riazanov, New Implementation Framework for Saturation-Based Reasoning, ArXiv preprint arXiv:0802.2127, 2006

[20] A. Riazanov, Implementing an Efficient Theorem Prover, PhD thesis, The University of Manchester, 2003 [abstract]

[21] A. Riazanov and A. Voronkov, The Design and Implementation of Vampire, AI Communications 15:2-3, 2002 [abstract]



For a complete list of my publications see here.





[to Alexandre Riazanov's home page]