Skip to main content
Theoretical Computer Science
Konstantin Solomatov's user avatar
Konstantin Solomatov's user avatar
Konstantin Solomatov's user avatar
Konstantin Solomatov
  • Member for 10 years, 9 months
  • Last seen more than 1 year ago
  • NYC Area
Profile Activity
Stats
1,772
reputation
23k
reached
1
answer
17
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
11
silver badges
21
bronze badges
Top tags
View all tags
1
Score
2
Posts
11
Posts %
1
Score
1
Posts
6
Posts %
0
Score
13
Posts
72
Posts %
0
Score
13
Posts
72
Posts %
0
Score
9
Posts
50
Posts %
0
Score
3
Posts
17
Posts %
Top posts
View all questions and answers
question
41
Why does Coq have Prop?
Mar 31, 2014
question
21
Why it's impossible to declare an induction principle for Church numerals
Mar 25, 2015
question
11
Logical framework vs type theory
Feb 18, 2015
question
11
W-types vs Inductive types
Apr 17, 2014
question
10
Example of where violation of strict positivity condition in inductive types leads to inconsistency
Apr 1, 2014
question
8
Squash type vs Propositional truncation type
Feb 18, 2015
question
7
How Univalence can be used for proofs about algorithm correctness
Dec 23, 2014
question
7
"Correctness" of type theory
Apr 4, 2014
question
6
What does consistency mean for "computational theories" corresponding to inductive types?
Apr 17, 2014
question
6
Types which correspond to sets of cardinality of continuum
May 7, 2014
Top network posts
View all network posts
140
How is it possible that validation loss is increasing while validation accuracy is increasing as well
32
How to learn agda
30
Name conflicts in Haskell records
25
How to load tests in ghci with stack
19
Good examples of idiomatic scala code