Youyou Cong
@yuyuchazuke
Assistant Professor @sciencetokyo_en.
I enjoy capturing continuations and composing well-typed music.
ID: 1178994691
http://prg.is.titech.ac.jp/people/cong 14-02-2013 13:00:14
535 Tweet
631 Followers
254 Following
NWMonster
@nwmonster
Adolfo Neto
@adolfont
Associate Professor at @UTFPR_. Podcaster at @elixiremfoco @fronteirases @emilias_utfpr @helloerlang. @leanprover, @Erlang_org and @elixirlang enthusiast.
davidad 🎇
@davidad
Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Manuel Chakravarty🦋@tacticalgrace.justtesting.org
@tacticalgrace
Lambda scientist ･ functional programming, programming languages & cryptography • Swift, Haskell & Agda • @HaskellForMac dev • Volt Policy DigiCom
Sam Tobin-Hochstadt
@samth
Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @NaptownUltimate · @[email protected]
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
José Manuel Calderón Trilla (@jmct.bsky.social)
@josecalderon
Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Cyrus Omar (now mainly on bsky)
@neurocy
🌱 laying foundations for the future of programming @ hazel.org 🌿 asst professor @UMichCSE 🍃 poetry 🪸 dendrites 🎶 immersion 〰️ wavy nerd crew
Apoorv
@fxdpntthm
Grad student. PL, types, semantics, logic, SIGPLAN audio-video/virtualization. Also on @[email protected]
Loris D'Antoni
@lorisdanto
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Ron Garcia
@rg9119
Transmogrifies coffee into LaTeX at University of British Columbia
SPLASH Conference
@splashcon
SPLASH: ACM Annual Conference on Systems, Programming, Languages, Applications: Software for Humanity #SPLASH2025 #SPLASH25
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
Rígille Menezes 🥬🥕🥦
@rigillemenezes
A qui la faute ? Ni l’un ni l’autre, pas vrai ? @gleiice77 ❤️
Guannan Wei
@guannanwei
Postdoc at INRIA/ENS Paris; incoming Asst. Prof in CS @TuftsUniversity; previously @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Jonathan Aldrich
@jaldrichpl
Professor of Programming Languages and Software Engineering at CMU. ACM Publications Board. CTO of Noteful (noteful.net). He/him. Views are mine.
pe200012💮m.online
@pe200012
Fainéant wizard.
Xero
@xeroessential
Joe Cutler
@alpha_convert
CS PhD student at @Penn and @NSF GRFP fellow. Types, Compilers, and Distance Running. Formerly @wesleyan_u (go Wes)
Max ⌈
@max_erinmills
Junior APL Dev @bcaresearch / Array Programming Pro
luke36
@luke36_
KC Sivaramakrishnan
@kc_srk
Profing @iitmadras. CTO @tarides_. Trustee mmht.clinic.
Money Press News
@moneypressnews
Managing your personal finances is not an easy thing to do,especially when you have no previous experience,or if your previous experience was not good #COP29
Ningning Xie
@xnningxie
Having fun with types! @UofTCompSci @GoogleDeepMind
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Marisa "Long Middle Name Looks Cool" Kirisame
@marisaverymoe
github.com/MarisaKirisame
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 ⚜️
Lionel Parreaux
@lparreaux
PL researcher interested in Types, Abstraction, Compilers & Optimization (TACO lab, cse.hkust.edu.hk/~parreaux). Assistant Professor at HKUST.
Steve Blackburn (@[email protected])
@stevemblackburn
Computer scientist, researcher, dad, husband, runner, hiker, collector of garbage. Google Research Scientist, ANU Professor. discuss.systems/@steveblackburn
Easworte
@easworte01300
Informatheux
@informatheux
ulmite infoteux, fan de maths et d'info. @[email protected]/@informatheux.bsky.app
latt1ce
@sk_196844
Ex-Kyoto University; Loves System, Compiler, Math, J-Rock, Whisky
xzj
@__xzj__
PL student xzj.ac 好きな型はchar
furudono
@furudono2
GMOペパボで2023年からソフトウェアエンジニアをしています。Goを書くことが多いです。 それまでは学生でプログラミング言語の意味論とか実装とかが気になっていました。
wuc9521
@wuc9521
くぼた
@k_50_346
hky ∩ isocha
bluemussels
@bluemussels8
takun
@yum303_
I love programming languages theory, compilers, emacs and VNs
Tom
@tomstructured
CS student. Studying logic and programming languages.
小餅乾
@tateepair1qw
這個世界太危險，時間就該浪費在美好的事物上，好好愛人，好好被愛。
Thesears
@thesearsfomr
オフラインデートの場合はフォローするかプライベートメッセージを送ってください
Nozo
@nozo62406476
M2, 進路が決まらないよ〜〜
zcysky
@zcyskyqaqqwq
Username in Academic: Chenyu Zhou/Programming Language&Formal Methods PhD Student @CSatUSC /Alumni @2024_HUST /staff of yukiha.org / 日本語勉強中 /Key Fans 鍵っ子
IJCISIM_Journal
@journal_ijcisim
IJCISIM (ISSN 2150-7988, Citescore 2.5) is an international, #openaccess journal, covering all areas of #computer_informationsystem, published online by CS Pub.
Rakesh Dey
@rakeshd24137483
ML theory, Optimization, Statistics, Computer Vision
yassmen sayed
@yassmensayed5
smooth sea never made a skillfull sailor🌊
EXE_IS_WORKING 🥳
@protogen456
doot
@justforpaperz
Yunyingr_
@yin_zhenyun
Nadja Just
@felisjust
Research assistant at the Technische Universität Chemnitz at the professorship of Software Engineering
Clarice
@rorelynnz
人类都是肉块，大肉块，小肉块，都是肉块，耶
Jeff Daman
@jeff_daman
chrisyoon
@chrisy__n
itoooak
@itoooak
Alyssa101
@hazel69179542
Elegance is not a dispensable luxury but a quality that decides between success and failure.
NeilKleist Gao
@neilkleistgao
Jacqueline Mitchell
@jmit01
YZmS
@yz_m_s
PL Student
Anshul Singh
@levih4ckerman
Math, cryptography and systems programming
kanzu park
@park_kanzu
Kazuki Watanabe
@kwatanabecs
Assistant Professor at National Institute of Informatics (Tokyo). Interest: model checking, program verification, category theory, optimization. ACT-X
persona
@acatpersona
alt-account, for following only.
Tsung-Ju Chiang
@tsungjuc
Studying programming languages. Mastodon: @[email protected]
町域
@chyouinan
勉強します。
Pon
@tjjnf
Isil Dillig
@isildillig
CS Professor at UT Austin + President of @VeridiseInc.
ナガサワ長澤
@nagasawa1000