jakub opršal
jakub.oprsal (at) durham.ac.uk
[arXiv]
[scholar]
[dblp]
[github]
promised problems
my durham page
csp seminar online