Explore projects

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.

Dachi-AdvWeb

Dachi-AdvWeb

Code and dataset for "EVReflex: Dense Time-to-Impact Prediction for Event-based Obstacle Avoidance" (IROS 2021)

The frontend of the website, written in Blazor WASM - .NET 7

The Reviews and Ratings microservice for the project.

The TV Series Recommendation microservice for the project.

The Profile microservice of the project.