Replying to
@yforster@types.pl @mevenlennonbertrand@lipn.info I'm 100% sure Ramana was trolling lol
Remote
Kiran 🏳️⚧️
@kirancodes@transfem.social
sharkey 2025.4.7Trans gal 🏳️⚧️!! 🇬🇧 3rd Generation South Asian Immigrant
Also a Programming Languages Researcher, Postdoc researcher @ UIUC!
Website: https://kirancodes.me
Github: https://github.com/kiranandcode
0 Followers
0 Following
2 Posts
pronouns:
she/her
website:
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
