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)
ID: 31571721
https://people.inf.ethz.ch/suz/ 16-04-2009 00:18:32
2,2K Tweet
3,3K Followers
1,1K Following
World Economic Forum
@wef
The international organization for public private cooperation. #wef25
XBOW
@xbow
Bringing AI to offensive security by autonomously finding and exploiting web vulnerabilities. Watch XBOW hack things: xbow.com/traces
Paras Chopra
@paraschopra
stay curious
Brendan Dolan-Gavitt
@moyix
Building offsec agents: xbow.com Associate Prof, NYU Tandon (on leave). PGP keybase.io/moyix/ MESS Lab: messlab.moyix.net
Lance Fortnow
@fortnow
Dean, College of Computing, Illinois Institute of Technology @iitcomputing @[email protected] @fortnow.bsky.social
NYTimes Communications
@nytimespr
Press inquiries: [email protected] Also on: bsky.app/profile/nytime… More contacts: nytimes.com/help
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Andreas Zeller
@andreaszeller
Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
Linux Plumbers Conference 2024
@linuxplumbers
Linux Plumbers Conference 2025 will take place in Tokyo, Japan from December 11th to 13th. #LinuxPlumbers
Sung Kim
@hunkims
🏢 Co-Founder/CEO Upstage 🤖 Building AGI for Work
The Emmys
@theemmys
Official account of the National Academy of Television Arts & Sciences 🏆 Updates on Sports, Daytime, News & Docs, Tech, and Children’s & Family Emmys. #NATAS
Zhou (Joe) Li
@lzcarl
Assistant Prof. at UCI EECS working on cyber-security. Opinions are my own.
Nadav Rotem
@nadavrot
Engineering director at Facebook. Interested in systems, compilers, ML, performance, and other stuff. 🇮🇱
Ziming Zhao
@___ziming
Associate Professor at Northeastern University; Cybersecurity researcher
Andrew Myers
@andrewcmyers
Professor, Cornell Department of Computer Science. Programming Languages, Security, Systems.
News & Documentary Emmys
@newsemmys
Recognizing outstanding achievements in news and documentary television. Watch live September 25 & 26 at watch.theemmys.tv and @TheEmmys apps!
Soumith Chintala
@soumithchintala
Cofounded and lead @PyTorch at Meta. Also dabble in robotics at NYU. AI is delicious when it is accessible and open-source.
Percy Liang
@percyliang
Associate Professor in computer science @Stanford @StanfordHAI @StanfordCRFM @StanfordAILab @stanfordnlp | cofounder @togethercompute | Pianist
Derek Dreyer
@herrdreyer
Get used to disappointment.
Loris D'Antoni
@lorisdanto
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Tianyin Xu
@tianyin_xu
Watchman in a cornfield @IllinoisCDS @ECEILLINOIS @ACMSIGOPS
Julien Vanegue
@jvanegue
CTO Office / Head of Infra & Security Research @Bloomberg. Interested in mathematical techniques for software, systems, and network verification at world scale.
Xinyu Xing
@xingxinyu
Associate Professor@Northwestern University. lead of 42-b3yond-6ug. Many Ph.D./internship/visiting scholar openings in software/system security. DM/email me.
Laurence Tratt
@laurencetratt
Shopify / Royal Academy of Engineering Research Chair in Language Engineering.
Mathias Payer
@gannimo
Securitatis inquisitor and professor at @EPFL_en leading the #HexHive 🐝 group, focusing on system/software security. @[email protected] (he/him)
Kristopher Micinski
@krismicinski
@[email protected]. Interested in automated reasoning and program analysis. Tweets do not represent anyone's views, especially mine.
𝕐o̴g̴
@yoda4ever
Funny, good and upbeat videos of 🐶🐱🐻🐺🐨🐼🌏🐧🐬🐳🐾🐝🐟🐠🏞️👶
Zhiyun Qian
@pkqzy888
Professor @UCRiverside. Research on system and network security.
Yun Lin
@llmhyy
Associate Professor @ Shanghai Jiao Tong University Formal Research Assistant Professor @ NUS Researcher on Software Engineering and Security
Lingming Zhang
@lingmingzhang
Associate Professor @plfmse @IllinoisCS. Enjoy breaking, fixing, and synthesizing software. SE | PL | FM | LLM4Code
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Xuejing, aka Snow
@hxjxsnow
Postdoc @IRIF_Paris #MyElixirStatus / PhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 Married / ADHD is my super ability / INS @hxjxsnow
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
Alastair Donaldson
@afd_icl
Professor of Programming Languages at Imperial College London
Guido Salvaneschi
@guidosalva
Associate Professor and Director, University of St.Gallen. Previously Technical University of Darmstadt. Programming languages and Software Engineering.
Rohan Paul
@rohanpaul_ai
💼 Engineer. 📚 I write daily on actionable AI developments. 🗞️ Subscribe and instantly get a 1300+page Python book → rohan-paul.com
Fermat's Library
@fermatslibrary
A platform for illuminating academic papers. We annotate and share a paper every week. Save, annotate and share papers with anyone: fermatslibrary.com/margins
Manuel Rigger
@riggermanuel
bsky.app/profile/mrigge… Assistant Professor @NUSComputing @test_nus; software engineering, systems, and programming languages.
Kathy Yelick
@kathyyelick
CS ALD @ LBNL and EECS Prof @ UCB
Marcel Böhme👨🔬
@mboehme_
Software Security @maxplanckpress (#MPI_SP), PhD @NUSComputing, Dipl.-Inf. @TUDresden_de Research Group: mpi-softsec.github.io
Talia Ringer 🟣 🎗️
@taliaringer
Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Ningning Xie
@xnningxie
Having fun with types! @UofTCompSci @GoogleDeepMind
Nikolaj Bjorner
@bjornernikolaj
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Peter O'Hearn
@peterohearn12
Researcher at Meta AI (FAIR). Prof at University College London. Working on Reasoning.
Vijay Chidambaram
@vijay_ut
Professor @utcompsci. Work on all things systems and storage. Lead @utsaslab. Prev: @WisconsinCS. Views my own.
Geoffrey Hinton
@geoffreyhinton
deep learning
LawZero - LoiZéro
@lawzero_
NPO founded by @Yoshua_Bengio, committed to advancing safe-by-design AI - OBNL fondé par @Yoshua_Bengio visant à concevoir des systèmes d'IA sécuritaires
Lean
@leanprover
Lean is a dependently-typed programming language and theorem prover.
Grigoris Ntousakis
@gntousakis
CS PhD Student @ Brown University
Jürgen Schmidhuber
@schmidhuberai
Invented principles of meta-learning (1987), GANs (1990), Transformers (1991), very deep learning (1991), etc. Our AI is used many billions of times every day.
Nauseam
@chadnauseam
If I sound lazy just ignore my tone cause I’m always gonna answer when you call my phone
Thinking Machines
@thinkymachines
Thinking, beeping, and booping.
Hyperbolic
@hyperbolic_labs
The On-Demand AI Cloud. Access compute and inference at a fraction of the cost. Join us: discord.gg/hyperbolic and @hyperbolic_eacc 🤘🏼🌪️
Gary Duong
@gary_duong
Founder at Chicable • Software at Autodesk • 13.1
Yongjun He
@yong_jun_he
PhD student @SystemsGroupETH; Formerly Intern @MSFTResearch, MSc @SFU, and BEng @NanjingUnivers1; Machine Learning Systems
World Labs
@theworldlabs
World Labs is a spatial intelligence company building Large World Models to perceive, generate, and interact with the 3D world.
Lin Tan
@lin0tan
Elmore New Frontiers Professor @PurdueCS | Ex @Meta @UWaterloo @IllinoisCDS @MSFTResearch @IBMResearch | #SE #TextAnalytics #LLM4Code #AI #Security
Earth
@earthcurated
Featuring stunning High Definition content curated by the world's greatest Photographers & Artists.
Jingxuan He
@jingxuan_he
PostDoc with @dawnsongtweets, UC Berkeley. Previously PhD @the_sri_lab, ETH Zurich. Working on security and ML.
hao sun
@ha0_sun
Linux, eBPF verifier, PhD student@ETH Zürich
Yiling Lou
@yiling__lou
Pre-tenure Associate professor @FudanUniv, Postdoc @PurdueCS, BS and PhD @PKU1898. Researcher on Software Engineering and AI.
Samuel Scheiderbauer
@s_scheiderbauer
Computer Science @ ETHZ
James Lucas
@jameslucasit
Beauty is truth, truth beauty; that is all ye know on earth, and all ye need to know.
Ning Luo 罗宁
@nluo431281
Wir müssen wissen. Wir werden wissen.
Abhik Roychoudhury
@abhikroychoudh1
Professor of Computer Science at National University of Singapore
Felix Linker
@felixlinker
👨🎓 PhD student @INFSECatETH researching protocol analysis and design 🐘 @[email protected]
Collegium Helveticum
@chelveticum
The Collegium Helveticum is the joint Institute for Advanced Studies of ETH Zurich, UZH, and ZHdK. Stay tuned about our fellowships and academic program.
Florian Dörfler
@florian_dorfler
Prof. ETH Zürich and Wannabe Dirtbag Climber
Wang Bo
@bo_wang_
PhD in CS @NUSComputing | Program Synthesis and Code Intelligence halocore.github.io