Theoretical Computer Science
Profile Activity
Meta user
Network profile
2,607
reputation
20
27

Ohad Kammar

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

15
answers
6
questions
~25k
people reached
  • Scotland, UK
  • denotational.co.uk
  • Member for 10 years, 8 months
  • 466 profile views
  • Last seen Apr 1 at 19:00

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
46 What constitutes denotational semantics? Dec 5 '10
32 How did TCS become conference-oriented rather than journal-oriented? Jul 20 '11
16 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
11 What is a good Category Theory-Domain Theory dictionary? Nov 19 '10
10 Equivalence of two basic blocks Aug 29 '11
10 Formal Semantics of Programming Languages Dec 9 '10
9 Gröbner bases in TCS? May 12 '11
View all questions and answers →

Badges (47)

Gold

—

Silver

20

Rarest

Bronze

27

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.