Kiran 🏳️⚧️
kirancodes@transfem.social
<p>Trans gal 🏳️⚧️!! 🇬🇧<span> 3rd Generation South Asian Immigrant<br><br>Also a Programming Languages Researcher, Postdoc researcher @ UIUC!<br><br><br>Website: </span><a href="https://kirancodes.me">https://kirancodes.me</a><span><br>Github: </span><a href="https://github.com/kiranandcode">https://github.com/kiranandcode</a></p>
Posts
-
Post #2264277
Pleased to share a cool new paper I've been working on (and will be presenting at Choreographic Programming Workshop'26) ! It's a choreographic language extended with game theoretic semantics! Really excited about this, currently just a workshop proposal, but I'd love to spend some time nailing down the formal semantics and properties! Willing to collab if anyone is interested! Otherwise, happy to hear your thoughts! https://arxiv.org/abs/2605.03143