IELE
Plutus
Smart Contracts
Haskell
Full time
Detail-oriented, organized and passionate about multiple areas in
IT. Involved in Blockchain since 2017, participated in testnets
developed & deployed multiple smart contracts in Solidity, Plutus
& Rust (WASM).
Experience in program analysis, formal semantics & software
verification using K-framework, symbolic execution & abstract
interpretation.
How much do you like Cardano (10 highest)
10
Accepted Payment Methods
ADA, FIAT Currencies (USD, GBP, YEN, ...), Other Cryptocurrencies (BTC, ETH, DOT, ...)