Theoretical Computer Science
Uday Reddy's user avatar
Uday Reddy's user avatar
Uday Reddy's user avatar
Uday Reddy
  • Member for 11 years, 9 months
  • Last seen more than 1 year ago
Profile Activity
Stats
4,796
reputation
112k
reached
41
answers
5
questions
Communities
View all
About

Professor of Computer Science, with research interests in Programming Languages and Theory of Programming.

My profiles on Theoretical Computer Science, Computer Science, Mathematics, Stackoverflow, and Superuser.

Also on Programmers, where I am shooting for a negative rating (if such a thing is possible)!

Badges
View all badges
This user doesn’t have any gold badges yet.
28
silver badges
39
bronze badges
Top tags
View all tags
243
Score
29
Posts
63
Posts %
110
Score
6
Posts
13
Posts %
109
Score
14
Posts
30
Posts %
100
Score
9
Posts
20
Posts %
91
Score
8
Posts
17
Posts %
84
Score
7
Posts
15
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
56
Uses of algebraic structures in theoretical computer science
Mar 31, 2012
answer
24
What are the differences between logical relations and simulations?
Feb 27, 2012
question
20
Compiler correctness proofs
Mar 6, 2012
answer
19
What is the difference between propositions and judgments?
Feb 24, 2012
answer
19
How does inheritance differ from subtyping?
Mar 11, 2012
answer
17
Books on programming language semantics
Mar 4, 2012
answer
16
What constitutes denotational semantics?
Feb 26, 2012
answer
16
How should I think about proof nets?
Jan 23, 2013
answer
15
Data Structure isomorphisms
Mar 3, 2012
answer
14
What is the theoretical basis of imperative programming?
Feb 24, 2012
Top Meta posts
0
1
6
Theoretical Physics is being closed, do we want some of their questions?
Top network posts
View all network posts
420
What is referential transparency?
135
Is Category Theory useful for learning functional programming?
84
What is referential transparency?
24
What are staged functions (conceptually)?
22
Reason to learn propositional & predicate logic

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.