Skip to main content

Ziyad alagla

Software Engineer
Riyadh Saudi Arabia
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

How much do you like Cardano (10 highest)


Accepted Payment Methods

ADA, FIAT Currencies (USD, GBP, YEN, ...), Other Cryptocurrencies (BTC, ETH, DOT, ...)