Skip to main navigation
Skip to search
Skip to main content
Heriot-Watt Research Portal Home
Help & FAQ
Home
Profiles
Research units
Research output
Datasets
Equipment
Prizes
Activities
Press/Media
Courses
Search by expertise, name or affiliation
Jamie Gabbay
Dr
Assistant Professor
,
School of Mathematical & Computer Sciences
Assistant Professor
,
School of Mathematical & Computer Sciences
,
Computer Science
Email
m.gabbay
hw.ac
uk
EH14 4AS
United Kingdom
2002
2021
Research activity per year
Overview
Fingerprint
Network
Research output
(35)
Prizes
(3)
Similar Profiles
(6)
If you made any changes in Pure these will be visible here soon.
Fingerprint
Dive into the research topics where Jamie Gabbay is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
Sort by
Weight
Alphabetically
Computer Science
Semantics
100%
Lambda Calculus
99%
Contexts
88%
Computation
46%
Specifications
37%
Variable Symbol
34%
Standards
26%
Blockchain
26%
Smart Contract
26%
User
24%
Simulation Mode
23%
Formalization
22%
Strong Normalization
20%
Ethereum
20%
Rewriting Relation
20%
Unification Algorithm
20%
Set Theory
20%
Polymorphic Type
20%
Renaming
20%
Sufficient Condition
20%
Generalization
20%
Type Systems
20%
Function Symbol
20%
Unification
20%
First Set
20%
Mathematics
Algebra
69%
Order
43%
Blockchain
41%
Variables
28%
Terms
28%
Calculus
25%
Completeness
23%
Monoid
20%
Duality
20%
Homomorphism
20%
Social Sciences
Standards
20%
