Alexandre Riazanov

Current

• R&D Engineer at North Side Inc

Past

• Research Associate at The University of Manchester
• Visiting Researcher at Uppsala University
• PhD student at A. P. Ershov Institute of Informatics Systems

• Lecturer at Shadrinsk State Pedagogical Institute

see less...

1 more...

Education

• The University of Manchester
• Novosibirsk State University

Connections

45 connections

Industry

Computer Software

Websites

• My homepage
• Full CV
• Wikipedia page for Vampire

Alexandre Riazanov’s Summary

Computer Scientist and Software Developer with both academic research and industrial R&D experience. World-leading expertise in efficient implementation techniques for automated reasoning. Currently strongly interested in Semantic Technologies and Databases, and applying automated reasoning to Natural Language Processing.

Alexandre Riazanov’s Specialties:

Automated Reasoning, Term Indexing, Efficient Commonsense Reasoning, Practical Nonmonotonic Reasoning, Deductive Query Answering.

Alexandre Riazanov’s Experience

• R&D Engineer

  North Side Inc

  (Privately Held; 11-50 employees; Computer Software industry)

  May 2005 — Present (4 years 8 months)

  Developing practical methods for commonsense reasoning and semantic modelling of natural languages, with application to Natural Language Understanding. Implementing reasoning components of a Natural Language Processing toolkit.

• Research Associate

  The University of Manchester

  (Educational Institution; 5001-10,000 employees; Research industry)

  May 2002 — May 2005 (3 years 1 month)

  Implementing the world-leading theorem prover Vampire. Research on efficient implementation techniques for automated reasoning.

• Visiting Researcher

  Uppsala University

  (Educational Institution; 10,001 or more employees; Research industry)

  March 1998 — May 1999 (1 year 3 months)

  Initial implementation of the Vampire theorem prover. Research on efficient implementation techniques for automated reasoning.

• PhD student

  A. P. Ershov Institute of Informatics Systems

  (Government Agency; 51-200 employees; Research industry)

  October 1995 — March 1998 (2 years 6 months)

  Design and implementation of a concurrent logic programming
  system intended for integration of heterogeneous deductive
  components of a software verification toolkit.

• Lecturer

  Shadrinsk State Pedagogical Institute

  (Educational Institution; 501-1000 employees; Education Management industry)

  July 1992 — October 1995 (3 years 4 months)

  Undergraduate courses in Programming and Numerical Analysis for
  Math, Physics and Informatics students.

Alexandre Riazanov’s Education

• The University of Manchester

  PhD , Computer Science , 1999 — 2002

• Novosibirsk State University

  Computer Science 1988 — 1992

Additional Information

Alexandre Riazanov’s Websites:

• My homepage
• Full CV
• Wikipedia page for Vampire

Alexandre Riazanov’s Interests:

Automated Reasoning, Semantic Technologies, Semantic Web, Automated Theorem Proving, Natural Language Understanding Software, Ontologies, Deductive Databases.

Alexandre Riazanov’s Groups:

•    Novosibirsk State University Alumni
•    Business Intelligence
•    Business Intelligence Group
•    Database Experts
•    SemantiTech
•    Business Intelligence & Analytics Group
•    Semantic Web
•    Business Analytics
•    Ontologies, OWL-S, SPARQL interest group
•    The University of Manchester Alumni Association
•    Natural Language Processing People
•    Artificial Intelligence Researchers, Faculty + Professionals
•    Semantic Technologies Group
•    Business Rules
•    RuleML Group

Alexandre Riazanov’s Honors:

The Vampire theorem prover I developed in Manchester together with Prof. A. Voronkov, has won in the main division of the annual competition of provers (CASC) 9 times.

Alexandre Riazanov’s Contact Settings

Interested In:

• career opportunities
• consulting offers
• new ventures
• job inquiries
• expertise requests
• business deals
• reference requests
• getting back in touch