Theoretical Computer Science
Profile Activity
Meta user
Network profile
4,616
reputation
26
37

Uday Reddy

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)!

41
answers
5
questions
~98k
people reached
  • Birmingham
  • cs.bham.ac.uk/~udr
  • Member for 9 years, 2 months
  • 882 profile views
  • Last seen Mar 22 '19 at 17:03

Communities (15)

Top Meta Posts
0
1

Top network posts

Top tags (48)

Score 231
Posts 29
Posts % 63
Score 108
Posts 6
Score 107
Posts 14
Score 97
Posts 9
Score 88
Posts 8
Score 77
Posts 7
View all tags →

Top posts (46)

All Questions Answers
Votes Newest
54 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
16 What constitutes denotational semantics? Feb 26 '12
16 Books on programming language semantics Mar 4 '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
View all questions and answers →

Badges (63)

Gold

—

Silver

26

Rarest

Bronze

37

Rarest

View all badges →

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.