What is Samson Abramsky known for?
My work focuses on finding the underlying mathematical structures in diverse areas of computer science and logic. I'm particularly known for my contributions to semantic models for programming languages, the application of categorical logic, and foundational work in quantum computation. My goal is to understand computational phenomena through the lens of abstract structures, which allows for generalisation and cross-domain insights. This approach has been fruitful in areas ranging from database theory to the understanding of quantum contextuality.
Ask Samson Abramsky the follow-up →