Ohad Kammar (@aleph_kappa) Twitter Following • TwiCopy

Matt Williams

@ickle_matt

Software developer/architect, sailor, husband, and father to two strange children. Continuously learning better ways to help software teams deliver value.

+ Follow

Guy Van den Broeck

@guyvdb

Professor of Computer Science and Samueli Fellow at UCLA @UCLAComSci; Scientist at @RelationalAI; working on Artificial Intelligence

+ Follow

Romain Ruetschi (@[email protected])

@_romac

Not on Twitter anymore. Follow me on Mastodon (hachyderm.io/@romac) and Bluesky (bsky.app/profile/romac.…) instead.

+ Follow

Fabrizio Montesi ⬣ A➔B

@famontesi

Marchigiano 🇮🇹 in 🇩🇰 | Author of #ChoreographicProgramming and 'Introduction to Choreographies' | Maintainer @jolielang | Pres. @c_microservices

+ Follow

davidad 🎇

@davidad

Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death

+ Follow

William Byrd

@webyrd

I like to make things.

+ Follow

Sam Tobin-Hochstadt

@samth

Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]

+ Follow

Ilya Sergey

@ilyasergey

Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

+ Follow

Aslan Askarov

@aslanix

+ Follow

Andrej Bauer

@andrejbauer

Mathematician, computer scientist, aikidoka

+ Follow

〚Dan R. Ghica〛

@danghica

Director of Huawei Research Programming Languages Lab Edinburgh // Professor at the University of Birmingham // All opinion expressed here are my own.

+ Follow

Viačeslav Pozdniakov

@poznia

Software engineer at Vinted. Lecturer at Vilnius University.

+ Follow

bOb cOeCke

@coecke

Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish

+ Follow

Lef

@elefthei

PhD candidate @Penn, Compilers, Formal Verification, Cryptography. Previous: @AWS, @MIT, @Apple.

+ Follow

Cameron Freer

@cameronfreer

Research Scientist at the @MIT @ProbCompProj studying interactions of randomness and computation

+ Follow

Derek Dreyer

@herrdreyer

Get used to disappointment.

+ Follow

Ron Garcia

@rg9119

Transmogrifies coffee into LaTeX at University of British Columbia

+ Follow

D

@dbp__

+ Follow

Éric Tanter

@etanter

CS Prof @ UChile. Gradually inconsistent.

+ Follow

Robert Krook

@rewbert

PhD-student at Chalmers University, in the FP-group. Main advisor: Koen Claessen Co advisor: John Hughes Co advisor: Joel Svensson krook.dev

+ Follow

Jubi Taneja

@jubitaneja

@[email protected]. Working at @RiSE_MSR, @MSFTResearch. Ph.D. @UtahSoC. ex-intern @mozilla. AI compiler, Superoptimizers, Verification.

+ Follow

Jesse Michel

@jessemmichel

CS PhD student at MIT. I enjoy math, language semantics, machine learning, and good puns. Also at @[email protected]

+ Follow

Shriram Krishnamurthi (primary: Bluesky)

@shriramkmurthi

@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

+ Follow

Dr Eugenia Cheng --no advice please--

@dreugeniacheng

Pure Mathematician+pianist. Grieving involuntary childlessness. Author: "Is Math(s) Real?" 2023 etc.

+ Follow

Stephan Boyer

@stepchowfun

real numbers are horrifying

+ Follow

Mike Hicks

@michael_w_hicks

Senior principal scientist@AWS & emeritus prof@UMD. Programming languages and security. Cedar cedarpolicy.com. Inactive: see my WWW for new location

+ Follow

Philip Zucker

@sandmouth

Computer Friend, Not a Bird

+ Follow

Greg Morrisett

@gmorrisett

Dean & Vice Provost, Cornell Tech

+ Follow

Joe Cutler

@alpha_convert

CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)

+ Follow

Associate Deans

@ass_deans

Making fun of middle management in colleges and universities. Because you can never have too many associate deans conspiring to be THE dean.

+ Follow

Jeremy Gibbons

@jer_gib

Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]

+ Follow

Zanzi Tangle, now at Monoidal Cafe

@tangled_zans

Turning Category Theory into code Find me at: zanzix.github.io @zanzi.bsky.social

+ Follow

KC Sivaramakrishnan

@kc_srk

Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.

+ Follow

Luca Aceto

@aceto_luca

+ Follow

Rose Bohrer

@rose_bohrer

Asst CS Prof at WPI. Interdisciplinary from PL/FM/CPS to HCI and games. 🏳️‍⚧️(she/her) EN/中文

+ Follow

András Kovács

@andraskovacs6

Type theory & applications. Also on Mastodon: types.pl/@AndrasKovacs

+ Follow

Jinhao Tan

@tamkamhou

Ph.D. student @HKUniversity, interested in programming languages, type systems, theorem proving, program verification, and logics.

+ Follow

Cameron Wong

@thecamdar

graduate student, functional programmer, PL guy webmaster @ feuniverse.us bsky.app/profile/camdar… github.com/CT075

+ Follow

Matt Stark

@mattstark256

the game designer behind Viewfinder. he/him 🏳️‍🌈

+ Follow

Angeliki Koutsoukou-Argyraki

@angelikikoutso1

Mathematics, computer science and logic @RoyalHolloway @Cambridge_CL @ClareCollege Other: art, philosophy, society. World citizen. Pacifist. Friend. Own views.

+ Follow

Justin Frank

@juspfrank

Real PL person. Like translating symbols into different symbols (semantics may or may not be preserved). PhD student at @plumlab. Previously at @ubc_spl

+ Follow

Egbert Rijke

@egbertrijke

Postdoc at Johns Hopkins • Author of the Introduction to Homotopy Type Theory • Formalization • Univalent Combinatorics • Agda • Math Twitch • he/him

+ Follow

Lars Birkedal

@birkedallars

+ Follow

ieva

@hyperboieva

Quantum information, useless information, generally informed. Quantum algorithms researcher @PhasecraftLtd. All views are my own.

+ Follow

Peter O'Hearn

@peterohearn12

Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.

+ Follow

Vincent Wang-Maścianica

@vinnylarouge

CS Dr. @ Oxford, aspirant friend of diagrams

+ Follow

Rini Banerjee

@rinibanerjee20

PhD student at @Cambridge_CL | Maths & CS graduate from @imperialcollege

+ Follow

Patrick Nicodemus

@patnicodemus

Interests: -Computational biology -Category theory in homological algebra and type theory -Formalized mathematics in Coq

+ Follow

Joel Saarinen

@joelsaarinen2

In pursuit of the good, the true, and the beautiful.

+ Follow

Chris

@gracelessfaller

I do PL stuff and climb things | UIUC CS PhD student

+ Follow

algebraic wolf

@algebraicwolf

24 | he/him | cs msc student at mipt | NF of a wild canine

+ Follow

Max ⊶ New @[email protected]

@profmaxnew

Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️

+ Follow

Paul Levy

@paullev11614578

Nothing

+ Follow

Théo Winterhalter

@winterhalter_t

Researcher at Inria Saclay in Deducteam. Proof assistants and dependent types.

+ Follow

Mohammad Hossein Khoshechin

@mh_khoshechin

PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]

+ Follow

wuc9521

@wuc9521

+ Follow

VeTSS

@vetss_ri

Research Institute on Verified Trustworthy Software Systems (VeTSS) at University of Surrey (director: B. Dongol) & Imperial College (director: @azalearaad)

+ Follow