Moremi Vannak
Haskell Engineer & Functional Programming Expert
5+ Years Experience
1 Publications
About
Moremi Vannak is a Haskell software engineer at Serokell, one of the leading functional programming consultancies. His expertise in functional programming and formal verification brings rigorous analytical perspectives to blockchain development. Moremi's background in Haskell makes him uniquely qualified to discuss formal methods, smart contract security, and the mathematical foundations underlying blockchain consensus.
Professional Experience
5+ Years of Experience
5+ years in functional programming with focus on Haskell and formal verification. Expert in applying mathematical rigor to smart contract development and blockchain security.
Credentials & Achievements
- Haskell Software Engineer at Serokell
- Functional Programming Specialist
- Formal Methods Researcher
- Open Source Contributor
Education
M.Sc. in Computer Science
Royal University of Phnom Penh • 2020
Notable Achievements
- Core contributor to major Haskell libraries
- Published papers on formal verification
- Speaker at functional programming conferences
Areas of Expertise
Haskell ProgrammingFunctional ProgrammingFormal VerificationSmart Contract SecurityType TheoryCompiler Development
Certifications
- Haskell Certified Developer
- Formal Methods Specialist
- Blockchain Security Expert