🎰
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
Stars
1
star
written in Jupyter Notebook
Clear filter
Documentation and tools relating to the design and prototyping of Ouroboros Leios