• A
  • A
  • A
  • ABC
  • ABC
  • ABC
  • А
  • А
  • А
  • А
  • А
Regular version of the site
Language Proficiency
English
French
German
Contacts
Phone:
(495)772-95-90
E-mail:
Download CV
SPIN-RSCI: 5492-1003
ORCID: 0000-0002-3541-8867
ResearcherID: N-1546-2013
Scopus AuthorID: 8333462300
Google Scholar
Supervisor
E. Dragalina-Chernaya
Printable version

 

Have you spotted a typo?
Highlight it, click Ctrl+Enter and send us a message. Thank you for your help!
To be used only for spelling or punctuation mistakes.

Andrey Rodin

  • Andrey Rodin has been at HSE University since 2018.

Education and Degrees

  • 1995

    Candidate of Sciences* (PhD)

  • 1990

    Degree
    Moscow State Distance Learning Teacher Training Institute

* Candidate of Sciences
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.

Publications47

Interdisciplinary Research: New Prospects for Philosophy

What connects philosophers, linguists, and logicians? How do you develop partnerships with dozens of foreign research centres in just six months? Can science exist in isolation from the outside world? Elena Dragalina-Chernaya, Head of the International Laboratory for Logic, Linguistics, and Formal Philosophy, discusses these and other issues.

Andrei Rodin and Irina Starikova gave talks at the International Congress of Logic, Methodology and Philosophy of Science and Technology

Senior research fellows of the International Laboratory for Logic, Linguistics and Formal Philosophy presented their papers in Prague on 5 August.

Formal Philosophy 2019

The International conference “Formal Philosophy 2019” was held on 27-28 June 2019. The conference was attended by scientists from Russia, USA, Brazil, Poland, Germany, Austria, Portugal and South Korea. It is planned that the conference will be a regular annual event.

Andrei Rodin participated in a conference in Oslo

On June 11, Andrei Rodin, the senior research fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, gave a talk at the conference in Oslo.

Andrei Rodin gave a talk at the 3d International Workshop “Formal Concept Analysis for Knowledge Discovery”

Andrei Rodin gave a talk at the 3d International Workshop “Formal Concept Analysis for Knowledge Discovery” of Department of Computer Science, Higher School of Economics.

Andrei Rodin Gave a talk at City University of New York

On April 24 Andrei Rodin gave a talk on "Directed Homotopy Type Theory and the (In)vertibility of Mathematics".

"Constructive Knowledge - 9" Workshop

On 15 May, "Constructive Knowledge - 9: neural networks as a black box" Workshop was held in Institute of PhilosophyRussian Academy of Sciences.

Andrei Rodin Made a Report on the Conference in Tübingen

Andrei Rodin made a presentation at the Third Tübingen Conference on Proof-Theoretic Semantics.

"Constructive Knowledge - 8: Formal Representation of Mathematics" Workshop

Andrei Rodin, the senior research fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, together with Sergei Kovalev gave a presentation on "Formal Epistemology and Computational Representation of Knowledge"

World Logic Day on January 14

On January 14 International Laboratory for Logic, Linguistics and Formal Philosophy (HSE), Department of Logic of Faculty of Philosophy (MSU), Department of Logic of Institute of Philosophy Russian Academy of Sciences held the 50th meeting of Theoretical Seminar "Formal Philosophy": the round table“Formal Philosophy: Foundations and Prospects”, devoted to the application of formal methods in philosophy.

The Paper Written by Andrei Rodin "On the Constructive Axiomatic Method" Was Published in the Journal "Logique et Analyse"

The paper written by the senior research fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy Andrei Rodin "On the Constructive Axiomatic Method" was published in the journal "Logique et Analyse".

Formal Philosophy – 48: «Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations»

On the 24th of October Andrei Rodin, Senior Research Fellow of the International Laboratory for Logic, Linguistics and Formal Philosophy, made a report “Geometrical Logic versus Logical Geometry: the Case of Univalent Foundations” on the 48th session of theoretical seminar “Formal Philosophy”.

Andrei Rodin Made a Report at the Workshop in Oxford

Senior Research Fellow of Laboratory for Logic, Linguistics and Formal Philosophy participated in the Workshop "Homotopy Type Theory/ Univalent Foundations".

The Report of Andrei Rodin at the University of Turku

Senior Research Fellow of Laboratory for Logic, Linguistics and Formal Philosophy gave a report at the University of Turku (Finland).