Arya Irani
This public profile has been imported and is waiting for source-backed enrichment.
Skills
artificial intelligence, functional programming, unison, scala, haskell, java, elm, c/c++, perl, concurrency, type-level programming, algorithm design, reinforcement learning, interactive machine learning, hybrid agentic systems, ucm tooling, distributed systems