David Castro @dcluster
Computer science lecturer at University of Kent @UniKentComp Canterbury, UK Joined May 2011-
Tweets9
-
Followers39
-
Following123
-
Likes2
📓@r_carolinebyrne 📐🧵@AnaInesJP 💡@BenBullLDVD 🎼@ttj1 It has been a fantastic experience. Congratulations to all @RADA_London technical students for achieving this level of detail and pushing through all the challenges to achieved this amazing result. Thank you all!
📓@r_carolinebyrne 📐🧵@AnaInesJP 💡@BenBullLDVD 🎼@ttj1 It has been a fantastic experience. Congratulations to all @RADA_London technical students for achieving this level of detail and pushing through all the challenges to achieved this amazing result. Thank you all!
ExistentialQuantification,ScopedTypeVariables,GADTs,RankNTypes... Como siga usando extensiones GHC esto no lo va a endender ni su padre ...
De los ultimos bosques atlánticos. Lugar de Importancia Comunitaria. A quienes habria que quemar es a los responsables! #SOSfragasdoeume

Fangyi Zhou @fangyi_zhou_
524 Followers 773 Following 🏳️🌈 🏳️⚧️ | Software Engineer | https://t.co/v494r8rkqS | Tweets are own opinion
Keigo Imai @keigoi
2K Followers 963 Following Loves functional programming and concurrency. Opinions are my own.
Matthew Alan Le Brun @Matt_Le_Brun
5 Followers 16 Following PhD Student in Programming Languages at University of Glasgow
POPL 2026 @poplconf
3K Followers 280 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie
Alex Kavvos @lambdabetaeta
726 Followers 888 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni
Nicholas Ng @nicholascwng
372 Followers 675 Following Finance software engineer at @monzo 🏗️🏦 Past: multiparty session types, concurrency research @ICComputing 👨🔬 🇭🇰🇬🇧🇪🇺 #COYS
Dominic Orchard @dorchard
2K Followers 689 Following Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
Bernardo Toninho @bernpton
294 Followers 762 Following Associate Professor at @FCTNOVA doing research on PL / Type Theory / Concurrency. Formerly at Imperial College London. All opinions expressed here are my own.
Artazcoz @Artazcoz1
27 Followers 360 Following
Xurxo Loureiro Veira @Xurxo_Loureiro
18 Followers 160 Following
Miguel Varela @varelamiguelou
1K Followers 2K Following Teimando nos residuos, reciclaxe e tecnoloxías da información. Interesado en emprendemento, cultura, medio ambiente, deporte e ver mundo.
Nuria yastá @nboullosa
46 Followers 292 Following No entiendo a la gente que escribe su biografía en inglés. Yo también se hacerlo. I'm a person. Ala, ya está...
Paloma Oliveira @PombiOh
54 Followers 107 Following Primary Teacher in Galicia Aficionada ao Geocaching
Aída Cordeiro @AidaCordeiro
334 Followers 540 Following
Pablo Pérez Cortizas @ppcstgo
37 Followers 83 Following Trabajando en Toyota #Ourense GrupoCompostela
Fran J. Tsao Santín ... @FranTsao
851 Followers 2K Following 🇹🇼 🇺🇦 🏴☠️ SRE (e ingeniero de caminos en mi tiempo libre). @gpul_ . @[email protected] en mastodon y 🦋 @tsao.gattaca.es en Bluesky. 🍍🍍🍍 🍋
Alba Carro @sarlia
28 Followers 56 Following Happy. I am just a girl standing in front of a boy asking him to love her. I would my horse had the speed of your tongueAAL @dobleahl
72 Followers 901 Following
Dani Fdez Artazcoz @daniartazcoz
146 Followers 861 Following
Mario Izquierdo @tothemario
188 Followers 95 Following Software Engineer, Game Designer. I am happy if you are happy.
Juan Morais @moraisjuan
28 Followers 86 Following
Iago Elizechea @elizechea
345 Followers 706 Following Un tipo con interés para unos pocos y sin atractivo alguno para muchos otros.
dandy cachetitos @DandyCachetitos
21 Followers 86 Following
David González @david_gnp
64 Followers 114 Following
Enrique Paz Pérez @quiquepaz
125 Followers 89 Following
Borja Soto @borjasoto
59 Followers 174 Following
BlissLab @Bliss_Lab
59 Followers 325 Following Sabes realmente cuánto sabes de informática? http://t.co/ajgsvjNqf1
Diego @_ddarriba
94 Followers 329 Following
Javier García @garciacastrofj
331 Followers 1K Following
Ana Inés Jabares Pit... @AnaInesJP
1K Followers 641 Following International Stage Designer & Director. Best Comedy Olivier Award winner @pandpsortof #westend 🇬🇧 #Wreckers @Glyndebourne
GPUL @gpul_
2K Followers 297 Following Grupo de Programadores e Usuarios de Linux. Fomentamos o uso de GNU/Linux, o Software e Hardware Libre e a cultura libre en xeral.
Henrique Ferreiro @hferreiro
185 Followers 181 Following
Dani ✨🐚 @starsandspirals
331 Followers 236 Following postdoc @GlasgowCS ❤️ PhD student @UniKentComp on the @granulelang team 💙🧡 former masters student @SheffieldUni 💚 LGBT+ 💜 (she/they)
Emilio J. Gallego Ari... @ejgallego
480 Followers 724 Following Researcher. ejgallego @ https://t.co/omifD2hrhR and https://t.co/ZmOOsqM0fP ZX Spectrum +2A, Petrof Renner 115, Korg X5D, Haskell, Agda, Coq, ARP 2600, Lean.
The Rocq Prover @CoqLang
2K Followers 55 Following This account is no longer used. Follow us on Mastodon at @[email protected] (https://t.co/YQ7JNBex1u) instead.
CodeMeshIO @CodeMeshIO
2K Followers 1K Following Code Mesh: leading alternative programming conference. #CodeMeshV across US and UK time zones for global attendance
David Thrane Christia... @d_christiansen
3K Followers 624 Following I like types and parentheses and metaprogramming. Co-author of The Little Typer and author of Functional Programming in Lean. he/him
Erik Meijer @headinthebox
31K Followers 2 Following
Rúnar @runarorama
12K Followers 103 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Neil Mitchell (neildm... @ndm_haskell
5K Followers 165 Following Haskell/Rust programmer. Views expressed are my own.
SIGPLAN-M @SigplanM
1K Followers 409 Following We form long-term cross-institutional mentoring connections in the programming languages community.
PLDI @PLDI
5K Followers 974 Following The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2025. Tweets by @konskallas and @lastland0
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Input | Output @InputOutputHK
280K Followers 420 Following We are a research and development company committed to using the peer-to-peer innovations of blockchain to build accessible financial services for all.
Production Haskell @prodhaskell
2K Followers 2 Following A book on pragmatic, professional Haskell development written by @mattoflambda. Follow this account to receive updates on the book's progress.
sabine 🐫🦀 / 'us... @sabine_s_
5K Followers 473 Following show me OCaml | an https://t.co/8e1icJBB76 maintainer | RFC 3339 dating coach | maybe not a sith lord | former overqualified señor meme developer | 5€ VPS kid
Sam Lindley @reifyreflect
639 Followers 281 Following
Tarides @tarides_
2K Followers 226 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
Matt Parsons @mattoflambda
5K Followers 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Larry Diehl @larrytheliquid
797 Followers 658 Following Founder @ColimitAI. Formal Verification & Neuro-Symbolic AI. Formerly postdoc @uiowa and PhD @Portland_State.
Isil Dillig @IsilDillig
4K Followers 839 Following CS Professor at UT Austin + President of @VeridiseInc.
Veridise @VeridiseInc
5K Followers 473 Following Hardening blockchain security with Formal Methods — Industry-leading security audits and tools for smart contracts, blockchain, and zero-knowledge.
Manuel Chakravarty�... @TacticalGrace
6K Followers 764 Following Lambda scientist ・ functional programming, programming languages & cryptography • Swift, Haskell & Agda • @HaskellForMac dev • Volt Policy DigiCom
David J. Pearce @whileydave
1K Followers 3K Following [email protected] | Formal Verification, Compilers & Static Analysis | @WhileyLang | Researcher in Smart Contracts @ConsenSys | Opinions are my own.
Alex Kavvos @lambdabetaeta
726 Followers 888 Following computer scientist (moonlighting as category theorist). lecturer at @bristolcs @BristolUni
Andrew Myers @AndrewCMyers
5K Followers 295 Following Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems. All opinions my own.
Dmitrii Kovanikov @ChShersh
42K Followers 205 Following Dysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
Andres Löh @kosmikus
3K Followers 476 Following I am a partner and Haskell Consultant at Well-Typed LLP. http://t.co/cc1cbLgax5
Conal Elliott @conal
5K Followers 371 Following Into correct, efficient engineering with precise & simple specifications. Play/work with me: https://t.co/qDqyBbWKnm . https://t.co/TsY4j2QJwu
Laurence Tratt @laurencetratt
4K Followers 310 Following Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Jeremy Siek @jeremysiek
3K Followers 352 Following Prof. at IU, dad, runner, cook, programming language design, gradual typing, generic programming, type systems, mechanized proofs. @[email protected]
POPL 2026 @poplconf
3K Followers 280 Following ACM SIGPLAN Symposium on Principles of Programming Languages. Rennes, France, 11-17 January 2026 (#POPL2026). Tweets by @xnningxie
Dominic Orchard @dorchard
2K Followers 689 Following Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
〚Dan R. Ghica〛 @danghica
1K Followers 313 Following Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.
Yaron (Ron) Minsky @yminsky
15K Followers 333 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] @yminsky.bsky.social https://t.co/kiUGRvWOO2
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Lennart Augustsson @Augustsson
2K Followers 199 Following
Ningning Xie @xnningxie
4K Followers 308 Following Having fun with types! @UofTCompSci @GoogleDeepMind
Bernardo Toninho @bernpton
294 Followers 762 Following Associate Professor at @FCTNOVA doing research on PL / Type Theory / Concurrency. Formerly at Imperial College London. All opinions expressed here are my own.
vollmerm @ma_vollmer
676 Followers 678 Following lecturer in @UniKentComp, cs phd from @IULuddy, functional programming and compilers, he/him
Alexandra Silva @alexandra8silva
2K Followers 869 Following Computer scientist, loves traveling and food tasting!
Stefan Marr @smarr
2K Followers 470 Following Researcher, Royal Society Industry Fellow, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
Business and Partners... @UniKentKEI
2K Followers 2K Following Big ideas are for sharing. Partner with us and let's see where we can go together. #KnowledgeExchange #Innovation #Collaboration #Partnerships
University of Kent @UniKent
56K Followers 896 Following Welcome to The University of Kent’s official Twitter feed 👋 We're ambitious for our people, our communities and the region we serve.
João Pedro de Magalh... @jpsenescence
18K Followers 2K Following Scientist planning to live forever (so far so good!), professor decoding the genome @unibirmingham, geek, entrepreneur, speaker, writer, keen footballer.
Papers We Love (@pape... @papers_we_love
14K Followers 700 Following !!! Follow us in the Fediverse: @[email protected] Papers https://t.co/n9Q4lMpuhk | Videos https://t.co/m7KZoSv7Tt | PWLConf https://t.co/0heF6CVy76