Theoretical Computer Science
Meta user
Network profile
2,181
reputation
11
23

Rob Simmons

Assistant Teaching Professor at Carnegie Mellon University in the Computer Science Department.

20
answers
3
questions
~25k
people reached
  • Pittsburgh, PA
  • cs.cmu.edu/~rjsimmon
  • Member for 9 years, 2 months
  • 254 profile views
  • Last seen Jul 22 '14 at 23:38

Communities (8)

Top Meta Posts
1
4

Top network posts

Top tags (35)

Score 114
Posts 15
Posts % 65
Score 64
Posts 6
Score 48
Posts 6
Score 36
Posts 4
Score 25
Posts 2
Score 21
Posts 3
View all tags →

Top posts (23) All Questions Answers | Votes Newest

17 Automated theorem proving in linear logic Nov 19 '11
15 What is the most powerful kind of parser? Oct 23 '10
14 Type inference for imperative statements other than assignment Nov 9 '11
13 Difference lists in functional programming Oct 24 '10
12 Curriculum: Logical/Formal Methods in Security Nov 15 '10
12 How to make the Lambda Calculus strong normalizing without a type system? Dec 30 '13
11 Functions that typed lambda calculus cannot compute Jan 10 '12
11 What's the difference between term rewriting and pattern matching? Apr 26 '11
10 Reasoning about non-deterministically terminating loops Jul 11 '11
9 What do we know about restricted versions of the halting problem Nov 9 '10
View all questions and answers →

Badges (34)

Gold

—

Silver

11

Rarest

Bronze

23

Rarest

View all badges →