Please log in to watch this conference skillscast.
YOU MAY ALSO LIKE:
- A Formal Approach to Distributed Systems: Implementing a Pi-calculus interpreter in Haskell (SkillsCast recorded in October 2018)
- Keynote — Haskell: What To Do When Success Can't Be Avoided (SkillsCast recorded in November 2021)
- Designing and Verifying Programs with Formal Specification (SkillsCast recorded in November 2021)
Lightning Talk: Elliptic Curve Cryptography
Thomas is a Software Engineer at Adjoint, focused on building distributed ledger technologies for the private financial sector. He is interested in distributed-systems engineering, programming language theory, and the application of modern cryptography to build secure and robust protocols facilitating data privacy.