Philip Atzemoglou

Philip Atzemoglou

London, England, United Kingdom
2K followers 500+ connections

Join to view profile

About

I am an experienced C# developer of software for the financial services industry…

Activity

Join now to see all activity

Experience

  • Millennium Graphic

    Millennium

    London, United Kingdom

  • -

    London, United Kingdom

  • -

    London, United Kingdom

  • -

    Oxford / Cambridge, United Kingdom

  • -

    Athens, Greece

  • -

    Athens, Greece

Education

  • University of Oxford Graphic

    University of Oxford

    -

    Activities and Societies: The Oxford Union

    Doctoral dissertation on the semantics of higher-order quantum programming languages

  • -

    * Master's thesis in Cryptography
    * Experience in C# since its infancy: C# 1.0 and .NET 1.0

  • -

Licenses & Certifications

Publications

  • The dagger lambda calculus

    In Proceedings of the 11th Workshop on Quantum Physics and Logic (QPL 2014), Kyoto, Japan, 4-6th June 2014, Electronic Proceedings in Theoretical Computer Science 172, pp. 217-235.

    We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus with a linear negation of "trivialised" De Morgan duality. Reduction is realised through explicit substitution, based on a symmetric notion of binding of global scope, with rules acting on the entire typing judgement instead of on a specific subterm. Proofs of subject…

    We present a novel lambda calculus that casts the categorical approach to the study of quantum protocols into the rich and well established tradition of type theory. Our construction extends the linear typed lambda calculus with a linear negation of "trivialised" De Morgan duality. Reduction is realised through explicit substitution, based on a symmetric notion of binding of global scope, with rules acting on the entire typing judgement instead of on a specific subterm. Proofs of subject reduction, confluence, strong normalisation and consistency are provided, and the language is shown to be an internal language for dagger compact categories.

    See publication

Languages

  • Greek

    Native or bilingual proficiency

  • English

    Full professional proficiency

Recommendations received

2 people have recommended Philip

Join now to view

More activity by Philip

View Philip’s full profile

  • See who you know in common
  • Get introduced
  • Contact Philip directly
Join to view full profile

Other similar profiles

Explore collaborative articles

We’re unlocking community knowledge in a new way. Experts add insights directly into each article, started with the help of AI.

Explore More

Add new skills with these courses

See all courses