Richard McKinley

2001 B.A. Pure and Applied Mathematics, University of Cambridge, UK, First Class Honours.

2002 Master in Mathematics (MMath/Part III),University of Cambridge, UK. 2006 Ph.D. in Computer Science, University of Bath.

Mathematical and Computational Logic. Thesis title: Categorical Models of First-Order Classical Proofs.

2016–     Senior Researcher, Universität Bern.

2014–     Senior Researcher, University Hospital, University of Bern (Inselspital).

2010 – 2014 Researchfellow, Universität Bern, Department of Applied Mathematics and Computer Science.

Swiss National Science Foundation Ambizione Fellowship

2009 – 2010 Post-Doc, Université Paris VII/CNRS.

2006 – 2009ResearchAssistant,Universität Bern,Department of Applied Mathematics and Com- puter Science.

SNSF Project “Algebraic and Logical Aspects of Knowledge Processing”

Grants/Projects as Principal Investigator
2018 Novartis Freenovation Grant, DeepSCAN-Cortex, CHF 180,000, 18 months.

2018 Schweizerische Herzstiftung, Simultaneous perfusion analysis and stroke outcome prediction in DSC perfusion using deep learning, CHF 80,000, 1 year.

2013 SNFAmbizione Follow-up Grant,Computational Structure of Higher-OrderSequent Calculi, CHF 151’976, 1year.

2009 SNF Ambizione Fellowship, Computational Structure of Classical Duality, CHF 434’641, 3 years.

Other Grants/Projects
2017 SNF DACH project, Stroke treatment goes personalized: Gaining added diagnostic yield by computer-assisted treatment selection (the STRAY-CATS project) , (Project Partner).

2017 Schweizerische Herzstiftung, Fully Automated Stroke Tissue Estimtaion of Risk in Computed Tomography – FASTER-CT, (Co PI, 50,000CHF).

Service to the community
Reviewer for Neurology, Stroke, PLOS One, IEEE Transactions on Medical Imaging, ACM Transactions on Computational Logic, Journal of Logic and Computation, Information and Computation.