Explore projects

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

This will be my third year project based on Robot Vision. Using the prophesee stereo event based camera to perseiev the physical world the robot (spotmicroAi) will attempt to dodge the incoming objects.

HaMeR: Reconstructing Hands in 3D with Transformers