ブログ > 筆者 > Polina Vinogradova

In at the deep end in Addis

Keen students beat challenges to discover smart contracts

2019年 4月 8日 Polina Vinogradova 4 分で読めます

In at the deep end in Addis

I started with IOHK in May 2018 as a formal methods developer working on two components of Cardano, neither of which involved writing Haskell code. Because of my expertise in logic, type theory, proof assistants, and theoretical computer science, I became part of the team without having much Haskell experience, even though it is the main language we use. So, I was surprised…

1

2

Polina Vinogradova

Polina Vinogradova

Research Engineer

Engineering