The Stack Overflow podcast is back! Listen to an interview with our new CEO.
Theoretical Computer Science
Meta user
Network profile
1,962
reputation
19
24

Ohad Kammar

University research fellow in Programming Language Semantics at the University of Edinburgh.

15
answers
6
questions
~22k
people reached
  • Scotland, UK
  • denotational.co.uk
  • Member for 9 years, 2 months
  • 450 profile views
  • Last seen Jul 11 at 2:25

Communities (10)

Top network posts

Top tags (32)

Score 52
Posts 9
Posts % 43
Score 37
Posts 5
Score 32
Posts 6
Score 30
Posts 6
Score 20
Posts 6
Score 20
Posts 4
View all tags →

Top posts (21) All Questions Answers | Votes Newest

45 What constitutes denotational semantics? Dec 5 '10
32 How did TCS become conference-oriented rather than journal-oriented? Jul 20 '11
15 What is the origin of logical relations? Jun 30 '11
13 What are the equational laws for zero types? Jul 1 '11
12 How can I call functions that are not “first-class functions”? Aug 30 '11
12 Using lambda calculus to derive time complexity? Aug 21 '10
10 Formal Semantics of Programming Languages Dec 9 '10
10 What is a good Category Theory-Domain Theory dictionary? Nov 19 '10
10 Equivalence of two basic blocks Aug 29 '11
9 Gröbner bases in TCS? May 12 '11
View all questions and answers →

Badges (43)

Gold

—

Silver

19

Rarest

Bronze

24

Rarest

View all badges →