Theoretical Computer Science
Meta user
Network profile
857
reputation
6
16

Konstantin Solomatov

Currently: Project Manager/Lead Software Developer at JetBrains

2003-now 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
~12k
people reached
  • Cambridge, MA
  • Member for 5 years, 5 months
  • 117 profile views
  • Last seen Jun 23 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

35 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 (22)

Gold

—

Silver

6

Rarest

Bronze

16

Rarest

View all badges →