Adaptive Saturation / Montreal / Novosibirsk / Fredericton / Vancouver / Shadrinsk / /
Company
Semantic Web Services / A. Voronkov Limited / RuleML Inc / Canada North Side Inc / SADI Semantic Web Services / IPSNP Computing Inc / Google / Hillenbrand / North Side Inc. / Deploying Mutation Impact TextMining Software / Web Services / Dept. 3 / /
Continent
Europe / /
Country
Russia / Canada / United Kingdom / / /
Facility
Ershov’s Institute of Informatics Systems / Canada Manchester University / Dept. Uppsala University / In Manchester University / Novosibirsk State University / Cambridge University / Canada University of New Brunswick / Manchester University / University of New Brunswick / Shadrinsk State Pedagogical Institute / Uppsala University / University of Toronto / Dept. Manchester University / The University of Manchester / /
IndustryTerm
conference travel support / proof-search / Software development experience / text-mining results / semantic search / mutation text mining / semantic technologies / large systems / Web programming / Web Publishing / nontrivial memory management / day-today management / natural language processing / creative software architecture design / Web-scale / proof search / /
OperatingSystem
Unix / Linux / Microsoft Windows / /
Organization
Towards Clinical Intelligence / Cambridge University / Ecotoxicology Data Federation / MIT / Novosibirsk State University / Computer Science Department / University of New Brunswick / School of Computer Science / Clinical Intelligence / Shadrinsk State Pedagogical Institute / NASA Ames Research Center / University of Manchester / Canada Manchester University / Ershov’s Institute of Informatics Systems / Department of Physics and Mathematics / Manchester University / Uppsala University / University of Toronto / /
Person
Alexandre Riazanov / Alexander Ryazanov / Sr / Visiting Researcher / Andrei Voronkov / Chris Baker / Theorem Prover / /
Position
CTO / R&D Engineer / researcher / Research Associate / Computer Scientist and Software Developer / Chief Technical Officer / Lecturer / assistant / Senior Research Computer Scientist / Research Scientist R&D Engineer Research Associate PhD student / co-founder & CTO / founder / /
ProgrammingLanguage
Prolog / Java / Lisp / XML / C++ / /
ProvinceOrState
New Brunswick / British Columbia / /
PublishedMedium
Journal of Symbolic Computation / /
SportsEvent
the world cup / /
Technology
Genomics / XML / Bioinformatics / key DB technologies / Unix / Linux / Web Publishing / natural language processing / artificial intelligence / Java / RDBMS / Lipidomics / RDF / Semantic Weboriented reasoning technologies / /