Aiko Ryu Independent Researcher

Posts

Apr 24, 2026
Who I am
Apr 24, 2026
Research

Aiko Ryu | Independent Researcher

Aiko Ryu | Independent Researcher
aiko.ryu@invara.dev

aikoryu

Hi! My name is Aiko and I'm working on indendent research associated with programming languages, type theory, and proof assistants. I'm self-taught and early in my learning journey for these fields, so I'm using this blog to hold myself accountable, as well as create an honest representation of what it's like to learn hard things.

Posts

Who I am

Research