Theoretical Computer Science
Profile Activity
Meta user
Network profile
2,346
reputation
12
23

Rob Simmons

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

20
answers
3
questions
~27k
people reached
  • Pittsburgh, PA
  • cs.cmu.edu/~rjsimmon
  • Member for 10 years, 7 months
  • 269 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 (35)

Gold

—

Silver

12

Rarest

Bronze

23

Rarest

View all badges →

Your privacy

By clicking “Accept all cookies”, you agree Stack Exchange can store cookies on your device and disclose information in accordance with our Cookie Policy.