Theoretical Computer Science
Uday Reddy
Profile Activity
Stats
4,616
reputation
101k
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.
26
silver badges
37
bronze badges
Top tags
View all 48 tags
232
Score
29
Posts
63
Posts %
108
Score
14
Posts
30
Posts %
107
Score
6
Posts
13
Posts %
97
Score
9
Posts
20
Posts %
89
Score
8
Posts
17
Posts %
77
Score
7
Posts
15
Posts %
Top posts
View all questions and answers
All Questions Answers
Votes Newest
53
Uses of algebraic structures in theoretical computer science
Mar 31 '12
21
What are the differences between logical relations and simulations?
Feb 27 '12
20
Compiler correctness proofs
Mar 6 '12
19
How does inheritance differ from subtyping?
Mar 11 '12
18
What is the difference between propositions and judgments?
Feb 24 '12
17
Books on programming language semantics
Mar 4 '12
16
What constitutes denotational semantics?
Feb 26 '12
15
Data Structure isomorphisms
Mar 3 '12
14
How should I think about proof nets?
Jan 23 '13
14
What is the theoretical basis of imperative programming?
Feb 24 '12
Top Meta posts
0
1
6
Theoretical Physics is being closed, do we want some of their questions?
Top network posts
View all
386
What is referential transparency?
127
Is Category Theory useful for learning functional programming?
82
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.