Building a blockchain analysis tool for CertiK
As part of a 2-week long externship at CertiK, a NYC blockchain startup, our team of Yale students researched & presented formal verification risks. I was responsible for graphic design on the team.




An excerpt of our presentation




Part of a demo of our risk analysis tool.