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.
• 2016 - 2016: Visiting scholar, EPFL, Switzerland.
• 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.

• Parallel programming languages and DSLs
• for HPC and embedded architectures
• fault tolerant distributed runtime systems
• fork/join and data parallel functional languages
• Dataflow models
• for FPGA based embedded systems
• parallel transformations
• verification with model checking
• Hardware verification
• static checking using dependent types and session types
• runtime checking using simulation
• reasoning about IP integration
• verifying System on Chip design

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