Last call to make your voice heard! Our 2022 Developer Survey closes in less than a week. Take survey.
Theoretical Computer Science
user avatar
user avatar
user avatar
Uday Reddy
  • Member for 10 years, 3 months
  • Last seen more than a month ago
Profile Activity
Stats
4,676
reputation
104k
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.
27
silver badges
38
bronze badges
Top tags
View all tags
236
Score
29
Posts
63
Posts %
109
Score
14
Posts
30
Posts %
108
Score
6
Posts
13
Posts %
98
Score
9
Posts
20
Posts %
90
Score
8
Posts
17
Posts %
79
Score
7
Posts
15
Posts %
Top posts
View all questions and answers
All Questions Answers
Score Newest
answer
54
Uses of algebraic structures in theoretical computer science
Mar 31, 2012
answer
21
What are the differences between logical relations and simulations?
Feb 27, 2012
question
20
Compiler correctness proofs
Mar 6, 2012
answer
19
How does inheritance differ from subtyping?
Mar 11, 2012
answer
18
What is the difference between propositions and judgments?
Feb 24, 2012
answer
17
Books on programming language semantics
Mar 4, 2012
answer
16
What constitutes denotational semantics?
Feb 26, 2012
answer
15
Data Structure isomorphisms
Mar 3, 2012
answer
15
How should I think about proof nets?
Jan 23, 2013
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
402
What is referential transparency?
132
Is Category Theory useful for learning functional programming?
83
What is referential transparency?
23
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.