Funding
SICSA Early Career Industrial Fellowship to work with D-RisQ (Oct 2015 - Jun 2017)
Co-Investigator on the EPSRC funded platform grant: The Integration and Interaction of Multiple Mathematical Reasoning Processes [webpage] (EP/N014758/1: 1 Nov 2015 - 31 Oct 2019)
Co-Investigator on QAA Student Enhancement project: Transition from passive learner to critical evaluator through peer-testing of programming artifacts (Manuel Maarek (PI); Jan 2017 - May 2017)
Principal Investigator on EPSRC grant: DTacs - Program Verifier Tactics : Reducing the Development Time for Program Verifiers with re-usable Verification Strategies (EP/M018407/1) [link] (Jun 2015 - Nov 2016)
Principal Investigator on QAA Student Enhancement project: Transition of automated feedback and marking into student’s learning environment (Jan 2016 - Aug 2016)
Co-Investigator on the EPSRC funded platform grant: The Integration and Interaction of Multiple Mathematical Reasoning Processes [webpage] (EP/J001058: 1 Aug 2011 - 31 Oct 2015)
Principal Investigator on Heriot-Watt's EPSRC Impact Acceleration Account project: A flexible and adaptable proof tool for verification of control systems in evolving markets (with D-RisQ ; Nov. 2014 - Sept. 2015)
Co-Investigator on QAA Student Enhancement project to implement technology enhanced learning principles in Computer Science courses with Verena Rieser (Jan 2016 - Jul 2015)
Co-Investigator on the EPSRC funded project AI4FM: using AI to aid automation of proof search in Formal Methods
James Watt Scholarship from Heriot-Watt to support my PhD.