About ME

UCL Research Fellow working on logic and theoretical computer science.

Contact:
simon.docherty [at] ucl.ac.uk