A message from our CEO about the future of Stack Overflow and Stack Exchange. Read now.
Theoretical Computer Science
Meta user
Network profile
433
reputation
2
10

mrsteve

Apparently, this user prefers to keep an air of mystery about them.

0
answers
7
questions
~3k
people reached
  • Member for 8 years, 1 month
  • 33 profile views
  • Last seen Dec 15 '17 at 20:34

Communities (20)

Top network posts

Top tags (15)

Score 0
Posts 4
Posts % 57
Score 0
Posts 3
Score 0
Posts 3
Score 0
Posts 3
Score 0
Posts 2
Score 0
Posts 2
View all tags →

Top posts (7) All Questions Answers | Votes Newest

13 Modeling objects (OOP) in dependent type theory Dec 22 '11
9 Certified compiler and optimizations in Coq/Agda Jan 29 '13
7 Constraint types (IBM/X10) compared to dependent types Mar 21 '13
4 dependent types and higher-order logic applied in the realm of DSLs Mar 25 '13
4 Remove unneeded atoms in CNF minimalization (SAT preprocessing) May 25 '14
2 Number of SAT checks that are needed to find all combinations of subset of boolean variables of a propositional formula Apr 30 '14
1 Verification: how 'formal' is a tool like Java Modeling Language (JML) compared to certified libraries and model checking? Mar 21 '13

Badges (12)

Gold

—

Silver

2

Rarest

Bronze

10

Rarest

View all badges →