School of Computing

Mr Jonathan Sherry

Research Student

Photo of J Sherry
  • Tel:     +44 (0)1227 827570
  • Fax:     +44 (0)1227 762811
  • Email:
  • Room SW11
    School of Computing
    University of Kent, CT2 7NF


PhD Project Summary

Research Interests

I am a member of the following research groups:

I am a second year PhD student supervised by Scott owens and Simon Thompson.

I am working with weak memory models and the Isabelle theorem prover.

You can find my personal website here

Considering a left-adjoint as male and a right adjoint as female, give the correct term for a contravariant functor self-adjoint on the right.

Considering a left-adjoint as husband and right-adjoint as wife, give a precise definition of "marital relations". Do the same for the pre-adjoint situation.

Discuss the Freudian significance of exact sequences. (Hint: consider the fulfillment by one arrow of the kernel of the next.)

School of Computing, University of Kent, Canterbury, Kent, CT2 7NF

Enquiries: +44 (0)1227 824180 or contact us.

Last Updated: 29/06/2017