1
Programming languages going above and beyond
Dafny is a programming language which often genuinely amazes me.
I’m a research engineer in the Trustworthy Smart Contracts Team at ConsenSys . My current focus is on the application of formal methods to smart contracts. Before that, I was an Associate Professor in the School of Engineering and Computer Science at Victoria University of Wellington . I graduated from the Department…
Visit whileydave.com → On Hacker News Jun 2023 – Jun 2023
Dafny is a programming language which often genuinely amazes me.