• United Kingdom

Accepting PhD Students

20092021
If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Bob Atkey is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Engineering & Materials Science

Semantics
Computer programming languages
Functional programming
Syntactics
Data structures
Invariance
Polymorphism
Context free grammars
Algebra
Refining
Communication
Computer programming
Static analysis
Parameterization
Computer science
Clocks
Conservation
Physics
Productivity
Polynomials
Concretes
Specifications
Network protocols
Recovery
Defects
Substitution reactions
Linear programming
Linear algebra
Servers
Binders
Printing

Mathematics

Polymorphism
Separation Logic
Categorical
Monads
Type Theory
Refinement
Isomorphic
Adjunction
Algebra
Resources
Model
Closed
Relational Model
Fibration
Term
Logic
Group Action
Parametric Model
Demonstrate
Theorem
Heap
Invariance