Researcher at INRIA

Reader in Computer Science at the University of St Andrews. Idris developer. Proudly Woke Prick since 1978. Trainee Adult. Will play ukulele for free, will stop for money. :idris: :asexual_flag:

Researching types, correctness, and purpose. I sleep a lot

PhD student at IUB interested in type theory and music and stuff

Haskell, formal methods, Amiga, pointers and allocators. #BLM. https://twitch.tv/agentultra opinions my own. @agentultra on Twitter too.

colouring outside the lines

postdoc at UW
https://mwillsey.com
https://twitter.com/mwillsey
he/him

Senior Lecturer in Computer Science at the University of Kent and Co-director of the Institute of Computing for Climate Science at the University of Cambridge

Executively dysfunctional, yet occasionally effectful programmer. Crazy trans dyke. Dealing with a serious case of Information Awareness.

CS Professor, programming languages and formal methods, UIUC! Sigplan-M Founder. CCF President. They/them, ND, bi ❤️

standard programming language femboy with marginally too much faith in categories
:nonbinary_flag:

You can refer to me as J. or as Jason

CS PhD student at UChicago
(all opinions my own)

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)

Once Jesper Cockx but now running Agda instead. Assistant professor @DelftPL.

Talk to me about:
- Agda and dependently typed programming
- Tabletop role-playing games @dregntael
- Neurodivergence
- Mindfulness and self-compassion
- Effective altruism
- Creativity and imagination
- Climate change and transformative justice
- Playing bassoon and clarinet
- Hiking and landscape photography
- Books (https://www.goodreads.com/user/show/26066459-jesper)
- Anime (https://www.imdb.com/list/ls031529857/)
- Board games (https://boardgamegeek.com/collection/user/dregntael?own=1)