Explore projects

The Gym App For Gym Beginners

Project on Campylobacter using data from PHE and original (i.e. withouth Cristophe corrections) MEDMI data from the Met Office.

Attempt to implement "A formal specification for BIL: BIL Instruction Language" presented by BAP (https://github.com/BinaryAnalysisPlatform/bil) in Isabelle/HOL.