🎰
PhD @ University of Edinburgh
Formal Methods @input-output-hk
Interests: Programming Languages, Functional Programming, Type Theory, Formal Verification
-
Input Output (IOG)
- Kirkwall, Orkney, Scotland
- https://omelkonian.github.io
- https://orcid.org/0000-0003-2182-2698
- @omelkoni
- @omelkonian@mathstodon.xyz
Highlights
- Pro
Earned achievements
YOLO
YOLO
Loading
Quickdraw
Quickdraw
Loading
Pair Extraordinaire
Pair Extraordinaire
Loading
Arctic Code Vault Contributor
Arctic Code Vault Contributor
Loading
Pull Shark
x3
Pull Shark
x3
Loading
Starstruck
Starstruck
Loading