Theoretical Computer Science
Profile Activity
Meta user
Network profile
2,346
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, 7 months
  • 258 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 Difference lists in functional programming Oct 24 '10
14 Type inference for imperative statements other than assignment Nov 9 '11
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 →