Theoretical Computer Science
Rob Simmons's user avatar
Rob Simmons's user avatar
Rob Simmons's user avatar
Rob Simmons
  • Member for 12 years, 8 months
  • Last seen more than 8 years ago
Profile Activity
Stats
2,396
reputation
30k
reached
20
answers
3
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
13
silver badges
24
bronze badges
Top tags
View all tags
117
Score
15
Posts
65
Posts %
67
Score
6
Posts
26
Posts %
48
Score
6
Posts
26
Posts %
39
Score
4
Posts
17
Posts %
25
Score
2
Posts
9
Posts %
25
Score
2
Posts
9
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
17
Automated theorem proving in linear logic
Nov 19, 2011
answer
15
What is the most powerful kind of parser?
Oct 23, 2010
question
14
Difference lists in functional programming
Oct 24, 2010
answer
14
Type inference for imperative statements other than assignment
Nov 9, 2011
answer
14
How to make the Lambda Calculus strong normalizing without a type system?
Dec 30, 2013
answer
12
Curriculum: Logical/Formal Methods in Security
Nov 15, 2010
answer
11
What do we know about restricted versions of the halting problem
Nov 9, 2010
answer
11
What's the difference between term rewriting and pattern matching?
Apr 26, 2011
answer
11
Functions that typed lambda calculus cannot compute
Jan 10, 2012
question
10
Reasoning about non-deterministically terminating loops
Jul 11, 2011
Top Meta posts
1
4
3
Flood of homework questions
Top network posts
View all network posts
5
Path to binary in C

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.