🎰
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
2
results
for source starred repositories
written in C
Clear filter
Algorithmic music composition system based on constraint programming