Ask Ubuntu
Ohad Kammar's user avatar
Ohad Kammar's user avatar
Ohad Kammar's user avatar
Ohad Kammar
  • Member for 11 years, 1 month
  • Last seen more than 1 year ago
Profile Activity
Stats
63
reputation
5k
reached
1
answer
2
questions
Communities
View all
About

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

Badges
View all badges
This user doesn’t have any gold badges yet.
1
silver badge
12
bronze badges
Top tags
2
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts
question
2
"Wi-Fi is disabled by hardware switch" on Toshiba Satellite P855-335
Dec 14, 2015
question
2
`Too many levels of symbolic links` when installing linux-image-5.15.0-46-generic
Aug 19, 2022
answer
2
`Too many levels of symbolic links` when installing linux-image-5.15.0-46-generic
Aug 20, 2022
Top network posts
View all network posts
47
What constitutes denotational semantics?
34
How did TCS become conference-oriented rather than journal-oriented?
17
What is the origin of logical relations?
13
What are the equational laws for zero types?
13
How to sort a glossary by order of appearance?