Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

  7. current community

    your communities

    more stack exchange communities

    company blog
Theoretical Computer Science
Meta User
Network Profile
4,143
reputation
23
36

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
~85k
people reached
  • Birmingham
  • cs.bham.ac.uk/~udr
  • Member for 7 years
  • 799 profile views
  • Last seen Jun 26 '18 at 14:50

Communities (13)

Top Meta Posts
0
1

Top Network Posts

Top Tags (47)

Score 225
Posts 29
Posts % 63
Score 105
Posts 14
Score 99
Posts 6
Score 87
Posts 9
Score 87
Posts 8
Score 71
Posts 7
View all tags →

Top Posts (46) All Questions Answers | Votes Newest

45 Uses of algebraic structures in theoretical computer science Mar 31 '12
20 Compiler correctness proofs Mar 6 '12
20 What are the differences between logical relations and simulations? Feb 27 '12
18 How does inheritance differ from subtyping? Mar 11 '12
16 What constitutes denotational semantics? Feb 26 '12
15 Books on programming language semantics Mar 4 '12
15 What is the difference between propositions and judgments? Feb 24 '12
14 What is the theoretical basis of imperative programming? Feb 24 '12
14 Data Structure isomorphisms Mar 3 '12
13 How should I think about proof nets? Jan 23 '13
View all questions and answers →

Badges (59)

Gold

—

Silver

23

Rarest

Bronze

36

Rarest

View all badges →