Theoretical Computer Science
Rob Simmons
  • Member for 11 years, 4 months
  • Last seen more than 7 years ago
Profile Activity
Stats
2,356
reputation
28k
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
114
Score
15
Posts
65
Posts %
65
Score
6
Posts
26
Posts %
48
Score
6
Posts
26
Posts %
36
Score
4
Posts
17
Posts %
25
Score
2
Posts
9
Posts %
22
Score
2
Posts
9
Posts %
Top posts
View all questions and answers
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
10
What do we know about restricted versions of the halting problem
Nov 9 '10
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.