Ohad Kammar

less info

network profile

1,386 reputation

719

bio	website	cl.cam.ac.uk/~ok259
	location	England, United Kingdom
	age	28
visits	member for	2 years, 9 months
	seen	Apr 16 at 11:13
stats	profile views	270

Postdoctoral research assistant in Programming Language Semantics at the University of Cambridge.

summary answers questions tags badges favorites bounties reputation activity

11 Answers

votes activity newest

11	How can I call functions that are not “first-class functions”?
10	Equivalence of two basic blocks
8	A simple inference in rewriting theory
8	Formal Semantics of Programming Languages
8	Using lambda calculus to derive time complexity?

view more

1,386 Reputation

+5	What is the origin of logical relations?
+5	How did TCS become conference-oriented rather than journal-oriented?
+10	Formal Semantics of Programming Languages
+15	Formal Methods Applied to Role-Based Security (RBAC)

view more

6 Questions

votes activity newest

28	How did TCS become conference-oriented rather than journal-oriented?
26	What constitutes denotational semantics?
12	What are the equational laws for zero types?
11	What is the origin of logical relations?
8	What is a good Category Theory-Domain Theory dictionary?

view more

28 Tags

37 pl.programming-languages × 8	14 cc.complexity-theory × 2
25 reference-request × 6	12 algebra × 2
21 lo.logic × 5	11 language-design
18 semantics × 6	11 terminology
16 functional-programming × 2	10 compilers × 2

view more

5 Accounts

	Theoretical Computer Science	1,386 rep	719
	Area 51	151 rep
$TeX - LaTeX Stack Exchange$	TeX - LaTeX	138 rep	4
$Mathematics Stack Exchange$	Mathematics	101 rep	1
	Ask Ubuntu	101 rep	2

20 Badges

recent class name

Good Question × 2	Caucus
Popular Question	Nice Answer × 2
Nice Question × 4	Enlightened
Yearling × 2	Disciplined
Constituent	Scholar

view more

0 Active bounties

active offered earned

This user has no active bounties

130 Votes Cast

all time			by type
120	up		51	question
10	down		79	answer

Technology			Life / Arts	Culture / Recreation	Science	Other
Stack Overflow Server Fault Super User Web Applications Ask Ubuntu Webmasters Game Development TeX - LaTeX	Programmers Unix & Linux Ask Different (Apple) WordPress Answers Geographic Information Systems Electrical Engineering Android Enthusiasts IT Security	Database Administrators Drupal Answers SharePoint User Experience Mathematica more (14)	Photography Science Fiction & Fantasy Seasoned Advice (cooking) Home Improvement more (13)	English Language & Usage Skeptics Mi Yodeya (Judaism) Travel Arqade (gaming) Bicycles Role-playing Games more (22)	Mathematics Cross Validated (stats) Theoretical Computer Science Physics more (7)	Stack Apps Meta Stack Overflow Area 51 Stack Overflow Careers

site design / logo © 2013 stack exchange inc; user contributions licensed under cc-wiki with attribution required

rev 2013.5.21.692

Theoretical Computer Science Stack Exchange works best with JavaScript enabled