@etapsconf.bsky.social
The International Joint Conferences On Theory and Practice of Software: the ETAPS conferences are TACAS, FoSSaCs, FASE and ESOP. ETAPS 2025: May 3–8, Hamilton, Canada https://etaps.org/
@navatintarev.bsky.social
(she/her) Full Professor of Explainable AI, University of Maastricht, NL. Lab director of the lab on trustworthy AI in Media (TAIM). Director of Research at the Department of Advanced Computing Sciences. IPN board member (incoming 2026).
@hyperboieva.bsky.social
Quantum information, useless information, generally informed. Quantum algorithms researcher at phasecraft.io https://ievacepaite.com/
@lgyraoptuhneonvdie.bsky.social
Actually autistic Protect trans children Land back Abolish police Abolish prison Free Palestine
@amarh.bsky.social
Assistant Professor at TalTech, advisor at Quantinuum. Mathematician & CS theorist. Born in ex-YU, raised in 🇮🇹, lived in 🇳🇱🇬🇧🇯🇵🇫🇷, now in 🇪🇪.
@abelaer.bsky.social
Emergence and compositionality in complex and living systems || Fellow @emergenceDIEP, University of Amsterdam || prev at MPI Leipzig & Un. of Edinburgh abeljansma.nl
@djfoster.bsky.social
Principal Researcher in AI/ML/RL Theory @ Microsoft Research NE/NYC. Previously @ MIT, Cornell. http://dylanfoster.net RL Theory Lecture Notes: https://arxiv.org/abs/2312.16730
@ian-goodfellow.bsky.social
Research Scientist at DeepMind. Opinions my own. Inventor of GANs. Lead author of http://www.deeplearningbook.org . Chronically ill: bilateral Ménière’s disease + long COVID. Founding chairman of www.publichealthactionnetwork.org
@seizagirre.bsky.social
physicist, writer & communicator interested in technologies of the future 💫 euskaraz ere product manager at https://nu-quantum.com, building photonic networks for quantum computing scale-out https://simone-eizagirre.eus all views my own
@julesh.mathstodon.xyz.ap.brid.gy
Applied Compositional Thinking [bridged from https://mathstodon.xyz/@julesh on the fediverse by https://fed.brid.gy/ ]
@irisvanrooij.bsky.social
Professor of Computational Cognitive Science | @AI_Radboud | @[email protected] on 🦣 | http://cognitionandintractability.com | she/they 🏳️🌈
@devezer.bsky.social
Metascientist @ uidaho. I work at the intersection of behavioral sciences, statistics, and philosophy. Love thinking and talking about science. Post lots of cat and food pics. Allergic to advice.
@fcalmon.bsky.social
Associate Professor @Harvard SEAS. Information theorist, but only asymptotically.
@melaniemitchell.bsky.social
Professor, Santa Fe Institute. Research on AI, cognitive science, and complex systems. Website: https://melaniemitchell.me Substack: https://aiguide.substack.com/
@mmitchell.bsky.social
Researcher trying to shape AI towards positive outcomes. ML & Ethics +birds. Generally trying to do the right thing. TIME 100 | TED speaker | Senate testimony provider | Navigating public life as a recluse. Former: Google, Microsoft; Current: Hugging Face
@sanjanafeasts.bsky.social
🎥Your resident Indian cooking mama 🌟Learn with me on TikTok & IG: Sanjana.Feasts 📚 My cookbook, Sanjana Feasts is out now! www.sanjanafeasts.co.uk
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@fmbck.bsky.social
Programming Language Researcher at the Australian National University
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@dorchard.bsky.social
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling https://dorchard.github.io
@sperbsen.bsky.social
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@jmct.bsky.social
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @[email protected] I miss Yorkshire
@bradfitz.com
I do computers. Married to @radkat.fitzpat.com. Three kids. Xoogler. Go (#golang) team 2010~2020. Made LiveJournal, OpenID, memcached. Currently at @Tailscale.com making WireGuard easy. Seattle, WA // Bainbridge
@simonmar.bsky.social
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
@yuriybrun.bsky.social
Professor at the University of Massachusetts Amherst https://people.cs.umass.edu/~brun/
@bugcounting.net
Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
@muratdemirbas.bsky.social
Distributed systems,Database systems, Lightweight formal methods, TLA+ https://muratbuffalo.blogspot.com/
@harrisongoldste.in
(he/him) Postdoc at the University of Maryland I make tools that help developers to build trust in their software using techniques from PL, SE, and HCI. Currently on the academic job market, looking for tenure-track positions! https://harrisongoldste.in
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@perezjorgea.bsky.social
Fundamental Computing (http://rug.nl/fse/fc) University of Groningen (NL) Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/) Father (x2)
@protz.bsky.social
I talk about Rust, verification, cryptography, programming languages… and pets
@yuntongzhang.bsky.social
CS PhD Student at National University of Singapore. Automatic programming, automated program repair, software security.
@jkinder.bsky.social
Professor @ LMU Munich Security, Program Analysis, Machine Learning
@welltypedwit.ch
When the limestone of imperative programming has worn away, the granite of functional programming will be revealed underneath -Simon Peyton Jones https://welltypedwit.ch
@mirchevmartin.bsky.social
PhD Student in Trustworthy and Secure Software Research group in National University of Singapore
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
@matteomaffei.bsky.social
Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.