Theoretical Computer Science
Meta user
Network profile
1,592
reputation
8
17

Konstantin Solomatov

2019 - Now Software Engineer at Facebook, Inc

2003-2019 Work at JetBrains. Started as an Intern. Participated in JetBrains MPS Project (http://www.jetbrains.com/mps). Currently work on a new project, some part of which are open sourced:

2001-2006 Studied at Saint-Petersburg State University at department of Mathematics and Mechanics. Graduated in Computer Science.

1997-2001 I attended School 239 in Saint-Petersburg

1
answer
17
questions
~14k
people reached
  • Seattle, WA, USA
  • plus.google.com/…
  • Member for 6 years
  • 128 profile views
  • Last seen Jun 23 '19 at 0:30

Communities (35)

Top network posts

Top tags (10)

Score 1
Posts 2
Posts % 11
Score 1
Posts 1
Score 0
Posts 13
Score 0
Posts 13
Score 0
Posts 9
Score 0
Posts 3
View all tags →

Top posts (18) All Questions Answers | Votes Newest

36 Why does Coq have Prop? Mar 31 '14
17 Why it's impossible to declare an induction principle for Church numerals Mar 25 '15
11 Logical framework vs type theory Feb 18 '15
11 W-types vs Inductive types Apr 17 '14
9 Example of where violation of strict positivity condition in inductive types leads to inconsistency Apr 1 '14
7 Squash type vs Propositional truncation type Feb 18 '15
6 How Univalence can be used for proofs about algorithm correctness Dec 23 '14
6 “Correctness” of type theory Apr 4 '14
5 What does consistency mean for “computational theories” corresponding to inductive types? Apr 17 '14
5 Types which correspond to sets of cardinality of continuum May 7 '14
View all questions and answers →

Badges (25)

Gold

—

Silver

8

Rarest

Bronze

17

Rarest

View all badges →