PhD student at Chalmers interested in univalent foundations, category theory and music.

I'm a software engineer who builds highly-scalable developer tooling.

hi everyone :) i'm aramya
i'm interested in retrotech, low level hacking, esoteric computation, type theory and logic
also a fan of nintendo games, 2000s pop music and 2000s cartoons as my cover pic (mountain sector from code lyoko) suggests :3

Lecturer at the University of Glasgow, working on behavioural types and multi-tier programming.

I like using logic to do things it was never meant to do
:nonbinary_flag:

You can refer to me as J. or as Jason

CS PhD student at UChicago
(all opinions my own)

Am more free out in the blue sky
Sky Bridge - @kaushikc.org@bsky.brid.gy

Lecturer in Computing, University of Kent. FP and compilers.

Associate Professor of Computer Science at Northeastern University PRL.
Visiting Professor at Roblox Research.

moved to @danielle 💕

can't walk a straight line between logic and a̸i̸ ‖ good job, y'all ruined ai ‖ disabled ‖ no cops, no borders ‖ 🏳️‍🌈🏳️‍⚧️😷🍉

PhD in Computer Science, interested in programming language design, active transit, and science fiction; dreams of a better world than the one we live in. 🍁 (he/him)

22 • He/Him • Computer Scientist @ UCL PPLV

Professor @WisconsinCS & Visiting Academic
@AWScloud Programs programs that program other programs (i.e., program synthesis). He/Him.

World builder, programmer, type theory tinkerer. Attempting to make programming a little more friendly and little less error-prone.

colouring outside the lines

Type Theory/Category Theory

I like proof assistants and make them too!

Senior Lecturer at ANU School of Computing, Ngunnawal/Ngambri Country. I leave these toots, I do not know for whom. I no longer know what they are about.

Formal Methods, Verification, Concurrency, etc.

English, 한국어, 日本語, Lingva Latina

No AI-generated content, please.

teaching and PhDing with plrg :: bristol