Skip to main content
Theoretical Computer Science
Rob Simmons's user avatar
Rob Simmons's user avatar
Rob Simmons's user avatar
Rob Simmons
  • Member for 13 years, 10 months
  • Last seen more than 10 years ago
Profile Activity
Stats
2,396
reputation
31k
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.
14
silver badges
24
bronze badges
Top tags
View all tags
116
Score
15
Posts
65
Posts %
67
Score
6
Posts
26
Posts %
48
Score
6
Posts
26
Posts %
38
Score
4
Posts
17
Posts %
25
Score
2
Posts
9
Posts %
24
Score
2
Posts
9
Posts %
Top posts
View all questions and answers
17
Automated theorem proving in linear logic
Nov 19, 2011
15
Difference lists in functional programming
Oct 24, 2010
15
What is the most powerful kind of parser?
Oct 23, 2010
14
Type inference for imperative statements other than assignment
Nov 9, 2011
13
How to make the Lambda Calculus strong normalizing without a type system?
Dec 30, 2013
12
Curriculum: Logical/Formal Methods in Security
Nov 15, 2010
11
What do we know about restricted versions of the halting problem
Nov 9, 2010
11
What's the difference between term rewriting and pattern matching?
Apr 26, 2011
11
Functions that typed lambda calculus cannot compute
Jan 10, 2012
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