SICSA Saltire Emerging Researcher Scheme – Visit at Utrecht University
16 August 2022, by Tudor Ferariu, University of Edinburgh Hello, my name is Tudor Ferariu and I am a first-year PhD Student at the University of Edinburgh School of Informatics. My research topic is automating formal verification for smart contracts for the Cardano blockchain. Proving the absence of bugs is very expensive, and large sums … Read more