Functional and Systems Programmer

just a web3 & ai student

focus in verification of real time embedded control system using static analysis, theorem proving

Software engineer journey: https://trello.com/b/R9uIEKiX/checkpoint-2024

Post-doc at the University of Cambridge