Dr Alex Kavvos

MCompSci, DPhil

    • BS8 1UB

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

    Personal profile

    Research interests

    Programming language theory, logic, semantics, category theory and its applications

    Structured keywords and research groupings

    • Programming Languages


    Dive into the research topics where Alex Kavvos is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
    • 1 Similar Profiles


    Recent external collaboration on country/territory level. Dive into details by clicking on the dots or