talks

Some of my talks.

Testing Compiler Correctness with Téléchat@Arm Research Summit 2020

Video Presentation and Poster

September 9, 2020
Téléchat Testing Compiler Correctness with Memory Models@Imperial College London

Arm Applications of Computing in Industry Talk

February 28, 2020
Algebraic Effects for Calculating Compilers@S-REPLS7.

Calculate the chances that this is a Haskell project.

September 22, 2017
HackSoc Hustings@HackSoc Hustings and Elections.

Summary of the year and voting details.

March 8, 2016
The TechFest Returns!@HackSoc TechFest 2015.

Fool me once, shame on you. Fool me twice however

January 1, 2016
Introduction to Scala, Spark and Functional Programming@HackSoc Weekly TechTalks.

We do some FUN(ctional) programming to Spark enthusiasm, also BIG DATA!

November 15, 2015
Introduction To HackSoc@HackSoc TechFest 2015.

Welcoming a new generation of Hackers with the HackSoc TechFest!

October 1, 2015
How to Arduino for Greater Good!@HackSoc TechFest 2015.

Arduino and Chill

October 1, 2015

Feel free to email me if you have any questions using [email protected]