About

Greetings! I’m Ibung, a software engineer with broad interests in functional programming languages, type theory, and formal verification.