Share on Twitter
Share on LinkedIn
For the past three months, I got to experience (remote) life at Digital Asset, working alongside the amazing language team, and combining several passions of mine: functional programming languages, formal methods, state of the art blockchain technology and drinking coffee. In the context of this internship, I developed a formal verification tool for the DAML
Subscribe
Get the latest posts in your email
Newsletter
Join the DAML mailinglist to get occasional updates onannouncements and new releases
Stay Updated
Enter your email to get occasional updates on announcements and new releases.
Some recent posts include Web IDE online playground and DAML choice annotations
