Dominik Winterer (@dominikwinterer) Twitter Followers • TwiCopy

Yoram Bachrach

@yorambac

Research Scientist at Meta

+ Follow

Eric Eide

@eeide

Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own • RTs not endorsements • @[email protected]

+ Follow

Brendan Dolan-Gavitt

@moyix

Building offsec agents: xbow.com Associate Prof, NYU Tandon (on leave). PGP keybase.io/moyix/ MESS Lab: messlab.moyix.net

+ Follow

Ilya Sergey

@ilyasergey

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

+ Follow

Andreas Zeller

@andreaszeller

Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].

+ Follow

firhard

@firhard

+ Follow

JF Bastien

@jfbastien

Distinguished engineer @ Woven by Toyota — C++ standards committee language evolution chair — WebAssembly co-instigator— tlbh.it

+ Follow

Zhendong Su

@zhendongsu

Professor in Computer Science at ETH Zurich who is interested in PL/SE/DL/EdTech/Security and leads the Advanced Software Technologies (AST) Lab (@ast_eth)

+ Follow

Alexander Serebrenik

@aserebrenik

Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️‍🌈 🐕 He/him @[email protected]

+ Follow

Julien Vanegue

@jvanegue

CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network verification at world scale.

+ Follow

bdasec

@ibehnam

Security Engineer, Bug Hunter

+ Follow

Kristopher Micinski

@krismicinski

@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.

+ Follow

Zhiyun Qian

@pkqzy888

Professor @UCRiverside. Research on system and network security.

+ Follow

Guannan Wei

@guannanwei

Postdoc at INRIA/ENS Paris; incoming Asst. Prof in CS @TuftsUniversity; previously @PurdueCS @galois @SambaNovaAI @UUtah; Bluesky @guannanwei.bsky.social

+ Follow

Shriram Krishnamurthi (primary: Bluesky)

@shriramkmurthi

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

+ Follow

Andrea Stocco

@tsigalko18

Software Engineering research @TU_Muenchen + @fortiss 🇩🇪 | prev. @usisoftware 🇨🇭| @UBC 🇨🇦 | PhD @InfUNIGE 🇮🇹 | exchange @TallinnTech @unitartu 🇪🇪

+ Follow

Syed Wasif Abbas Hamdani

@wasif_514

Security Researcher | Author | Tech Writer | @DefiningFutures, @QAU_Official l Seeking exciting PhD position (AI, IoT, ML, Security)

+ Follow

Gil Rapaport

@gilrapaport1

+ Follow

Alastair Donaldson

@afd_icl

Professor of Programming Languages at Imperial College London

+ Follow

Anis LOUNIS

@anixpasbesoin

I turn bugs (🐞) into features (🕵️) one gadget (🤖) at a time... YKWIM 😜 Follows and retweets ≠ endorsement

+ 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

Klaus Gleissenthall

@kgleissen

Assistant Professor in Computer Science at @VUamsterdam.

+ Follow

Bukenya Lukman

@lukman_bukenya

Software Engineer, Data Scientist and ML Engineer. Research Enthusiast For NLP , CB, CC, CV and Compiler Design. Co-host at theciggroup.net

+ Follow

Manuel Rigger

@riggermanuel

bsky.app/profile/mrigge… Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.

+ Follow

Talia Ringer 🟣 🎗️

@taliaringer

Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi

+ Follow

Marcel Böhme👨‍🔬

@mboehme_

Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: mpi-softsec.github.io

+ Follow

Satnam Singh

@satnam6502

Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}

+ Follow

Nikolaj Bjorner

@bjornernikolaj

+ Follow

Vincenzo Riccio

@p1ndsvin

Assistant Professor @uniud 🇮🇹 Previously, postdoc @usisoftware 🇨🇭 Born and raised in Napoli 💙 Software testing for AI 🛠️🤖🛠️

+ Follow

Ningning Xie

@xnningxie

Having fun with types! @UofTCompSci @GoogleDeepMind

+ Follow

Maria Christakis

@mchri5taki5

professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!

+ Follow

Kai Gao

@kyle26758769

Associate Professor at University of Science and Technology Beijing.

+ Follow

Calabaza

@calalinux

Debian GNU/Linux, Robotech, Chinese

+ Follow

Plorunof

@plorunof311

+ Follow

Werve

@werve74139

+ Follow

Jiahao Zhang

@jiahaozhang2002

CS PhD student @Vanderbilt Prev. @SUSTechSZ @notredame

+ Follow

Violet Deckow-Carroll

@deckowviol79026

+ Follow

Athina Sotiropoulou

@athenasotirop

MSc in Computational Science & Engineering from @ETH_en

+ Follow

Hans Parisian

@hansparisi59425

+ Follow

Ludie Schiller

@lschiller37288

+ Follow

Nene Shinonome

@neneshinonome

東雲絵名&若葉睦激推

+ Follow

Haoyuan Li

@goway_lee7588

Ungrad from XMU with passion in PL Currently intern in ICT CAS Seeking for PhD opportunities.

+ Follow

Wes Siscoe

@wessiscoe

Philosophy professor @bgsu thinking about Rationality, Virtue, & Democracy. Co-Founder and Editor-in-Chief of @ThePhilLibrary

+ Follow

Seongmin Lee (On the Job Market!)

@nim_gnoes_eel

🎲 A board game geek, 🏸 a badminton lover, and a postdoc researcher @maxplanckpress(#MPI_SP) working on dynamic and statistical program analysis.

+ Follow

Wen Cui

@wen__cui

+ Follow

lkztej

@kesjetson

+ Follow

The Philosophy Teaching Library

@thephillibrary

A Collection of Introductory Primary Texts 📚 User-Friendly, Accessible Readings | 🌎 Open Educational Resource | ✏️ Founded by @WesSiscoe & @plblaschko

+ Follow