I am a member of the Dependable Systems Group (DSG) at Heriot-Watt University.

Short Bio:

• 2017 - : Research Fellow (Border Patrol EPSRC project), School of Mathematical and Computer Sciences, Heriot-Watt University.
• 2016 - 2017: Research Fellow (The Integration and Interaction of Multiple Mathematical Reasoning Processes EPSRC Platform Grant), School of Mathematical and Computer Sciences, Heriot-Watt University.
• 2016 - 2017: Research Fellow (Rathlin EPSRC project), School of Mathematical and Computer Sciences, Heriot-Watt University.
• 2013 - 2016: Research Associate (Rathlin EPSRC project), School of Mathematical and Computer Sciences, Heriot-Watt University.
• 2013 - 2013: Senior Haskell Software Engineer, Parallel Scientific, American startup.
• 2010 - 2013: Research Associate (SerenA EPSRC project), School of Mathematical and Computer Sciences, Heriot-Watt University.
• 2010 - 2013: PhD student, Computer Science (thesis and details), School of Mathematical and Computer Sciences, Heriot-Watt University.
• 2004 - 2010: MEng student, Software Engineering, School of Mathematical and Computer Sciences, Heriot-Watt University.

My research interests include dataflow models; formal methods for proving correct fault tolerance properties and proving safety properties of program transformations; and Domain Specific Languages (DSLs) for heterogeneous HPC and Cloud architectures comprising CPUs, GPUs and FPGAs for scalability, reliability and energy efficiency.

My publications are listed on this webpage, as well as on Google Scholar and DBLP.