Cell phone in Saint John: +1 - 506 - 639 1529

    Email: alexandre.riazanov@gmail.com

     I am a Computer Scientist and software developer. My research is primarily concerned with the implementation of automated reasoning and semantic technologies, including semantic querying, data federation and Semantic Web services, in application to Bioinformatics and Clinical Intelligence. In the past, I designed and implemented, together with Prof. Andrei Voronkov, the high-performance theorem prover Vampire.

    I am currently in Saint John, Canada, working as a Senior Research Scientist in the University of New Brunswick on the C-BRASS project (publishing biomedical data and algorithms as SADI Semantic Web Services), and as CTO in IPSNP Computing. Previously I worked and studied in North Side Inc, the Computer Science Department at the University of Manchester , the Computing Science Department at Uppsala University and Ershov Institute of Informatics Systems in Novosibirsk.



Research

Publications

CV

Software



Links and announcements:

• IPSNP Computing Inc: Semantic Technologies and Information Extraction for Bioinformatics and Clinical Intelligence
• Slides from CS UNB Seminar, Fredericton, June 3: Expressive Querying of Semantic Databases with Incremental Query Rewriting (with a section on SPARQL-to-SPARQL rewriting).
• Canadian Semantic Web Symposium (CSWS2011), Vancouver, Aug 5, 2011
• Tutorial on SADI Semantic Web Services, Fredericton, NB, May 19-20, 2011
• OWLED 2011 CFP, San Francisco, June 5-6
• AWOSS 10.2 keynote slides: Leverage of Semantic Web Services for Practical Application: Creating Transferable Methodology with SADI Case Studies
• AWOSS 10.2 technical talk slides: Expressive Querying of Semantic Databases with Incremental Query Rewriting
• Slides for my InCoB 2010 talk "Algorithms and semantic infrastructure for mutation impact extraction and grounding".
• Slides for the talks on SADI in Montreal in Aug-Sep 2010.
• CSWWS2 slides: Efficient Semantic Querying of Relational Databases with Resolution
• Vampire wins the CNF (MIX) division of CASC for the 10th time and the FOF division for the 9th time. See the competition results here.
• my profile at LinkedIn is here.