conf.researchr.org / Ohad Kammar
Registered user since Thu 4 May 2017
Name:Ohad Kammar
Country:United Kingdom
Affiliation:University of Edinburgh
Personal website: http://denotational.co.uk
Contributions
2025
2024
HOPE
POPL
- Committee Member in Diversity, Equity, and Inclusion Committee within the Diversity, Equity and Inclusion-track
- Author of Shoggoth - A Formal Foundation for Strategic Rewriting within the POPL-track
- LGBTQ+ Host in Organizing Committee
- Committee Member in Selection Committee within the Student Research Competition-track
- Author of Foundations of Type-Driven Probabilistic Modelling within the TutorialFest-track