Explore projects

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

Test project Space for HTML pages

Reinforcement Learning for event cameras

NeMo website: https://nemo.pages.surrey.ac.uk/lab/