Functional and Systems Programmer

just a web3 & ai student

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

Post-doc at the University of Cambridge