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.
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.