Max Planck Institute for Software Systems
@mpi_sws_
We study the principles of efficient, dependable, secure, and usable computing systems.
ID: 1461460850989015040
https://mpi-sws.org 18-11-2021 22:26:45
53 Tweet
725 Takipçi
266 Takip Edilen
Edward Z. Yang
@ezyang
I work on PyTorch at Meta. Chatty alt at @difficultyang. Currently on parental leave and doing a lot of AI coding, including authoring codemcp.
Brendan Dolan-Gavitt
@moyix
Building offsec agents: xbow.com Associate Prof, NYU Tandon (on leave). PGP keybase.io/moyix/ MESS Lab: messlab.moyix.net
Gustavo Pinto
@gustavopinto
Tweeting about software engineering research & development. CS Prof @UFPA_Oficial / Researcher @ZupInnovation
danupon
@danupon
Graph algorithms and complexity theory. Director@Max Planck Institute for Informatics.
Ezgi
@ezgicicek
⚓ London, tweets 🇬🇧🇹🇷🇩🇪 by day, catching bugs in programs & by night, in myself Previous life: PhD in PL @mpi_sws. #direnezgi
Ilya Sergey
@ilyasergey
Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.
Dominic Orchard
@dorchard
Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
davidcshepherd
@davidcshepherd
Associate Prof @LSU, co-EiC of @JSSoftware. Taking Research (bit.ly/cobloxPaper) into Practice (bit.ly/wizardAbb).
Andreas Zeller
@andreaszeller
Software researcher at @CISPA. Testing and analyzing software for a better world. Find me at @[email protected] or @[email protected].
mike cook
@mtrc
AI/Creativity/Generative Systems Researcher and Game Designer. Senior Lecturer @ KCL. 🗡🖌 @knifeandbrush 🤖🎮 @gamesbypuck @angelinasgames | he/they
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)
Ben Delaware
@ghostofbendy
Professor at @PurdueCS; dad; occasional cancer fighter🎗️. Tweets about programming languages and formal methods, but mostly bird pictures.
Alexander Serebrenik
@aserebrenik
Professor Social Software Engineering @TUe_MCS @TUeindhoven 🇳🇱. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him @[email protected]
Dan Roy
@roydanroy
ML / AI researcher. Research Director and Canada CIFAR AI Chair, @VectorInst. Professor, @UofT (Statistics/CS).
adishs
@adishs
பேராசிரியர் Prem Devanbu
@devanbu
Husband, Dad, Academic. Software "Naturalness", AI4SE & ESE@ UC Davis. Humboldtian. ❤️s Jokes, preferably Dry. Also ❤️s NJ! All opinions Personal.
Yann LeCun
@ylecun
Professor at NYU. Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.
Amazon Web Services
@awscloud
The official account for Amazon Web Services (#AWS). For help, please contact: @AWSSupport
Derek Dreyer
@herrdreyer
Get used to disappointment.
Konrad Rieck 🌈
@mlsec
Machine Learning and Security, Professor of Computer Science at TU Berlin, On Bluesky: @rieck.mlsec.org
Loris D'Antoni
@lorisdanto
A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Michaël Marcozzi 🇪🇺🇧🇪
@michaelmarcozzi
Permanent researcher in cybersecurity (fuzzing) @UnivParisSaclay I make software safer by viciously torturing it to reveal its flaws I can be kind too
Association for Computing Machinery
@theofficialacm
The world's largest professional organization advancing #computing as a science and profession. Also @mastodon.acm.org Likes & shares ≠endorsement
Tom Henzinger
@thenzinger
Computer scientist @ISTAustria @forwit_at @ERC_Research @theNASciences @royalsociety @Leopoldina @oeaw @acad_euro
ACM SIGMM
@sigmm
Mathias Payer
@gannimo
Securitatis inquisitor and professor at @EPFL_en leading the #HexHive 🐝 group, focusing on system/software security. @[email protected] (he/him)
Andrew K. Hirsch
@andrewkhirsch
Assistant professor at University at Buffalo. Previously MPI-SWS and Cornell. Programming languages, security, concurrency.
Manuel Gomez-Rodriguez
@autreche
Human-centric machine learning at the Max Planck Institute for Software Systems.
Theodoros Theodoridis
@theodortheod
Doctoral student @ast_eth, ETH Zurich
Bernhard Schölkopf
@bschoelkopf
Greg d'Eon
@gregdeon_
PhD student at @ubc_cs studying behavioural game theory and machine learning. Former @uwhci / @dalengineering. Love biking and music. He/him.
Chris Dann
@chrodan
Research Scientist at Google, working on RL theory, former ML Ph.D. student at CMU with @AIforHI
Shriram Krishnamurthi (primary: Bluesky)
@shriramkmurthi
@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Nikita Zyuzin
@nzyuzin
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
Jonathan Mace
@mpi_jcmace
Cloud Systems Reliability @ Microsoft Research, Redmond. Adjunct faculty @ MPI-SWS. Observability, Tracing, and Reliability of Distributed Systems.
Alastair Donaldson
@afd_icl
Professor of Programming Languages at Imperial College London
Mir Masood Ali
@__masood__
I research security and privacy on the Internet. | PhD Student @thisisUIC. | he/him.
Catalin Hritcu
@chritcu
Tenured Faculty at Max Planck Institute for Security and Privacy (MPI-SP) pronoun.is/he
Enigma Conference
@enigmaconf
Organized by @USENIX. Features engaging talks on security and privacy ideas that matter. #enigma2023 Jan. 24 – 26, 2023 in Santa Clara, CA, USA!
Marco Maida
@marcomaida94
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
Nikolaj Bjorner
@bjornernikolaj
Satnam Singh
@satnam6502
Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}
Lionel Briand
@lionel_c_briand
Professor, IEEE and ACM Fellow, fellow of the Royal Society of Canada, CRC Tier 1 at U. of Ottawa, Canada. Director, Lero centre for software research, Ireland.
Mariya Toneva
@mtoneva1
Faculty at @mpi_sws_ working at the intersection of ML, NLP, and cognitive neuroscience. Yogurt snob.
Camila Kolling
@camilakollingr
CS PhD Student & Research Assistant @mpi_sws_ Past: Research Intern @GoogleAI and @mpi_sws_, ML/Research Engineer @kunumilab, BS and MsC @pucrs 🇧🇷
MPI-SWS Operating Systems Research Group
@osgroupsws
We are the Operating Systems research group at @mpi_sws_ in Germany. We do systems research for the post-Moore era at the intersection of software and hardware.
Amazon Science
@amazonscience
The latest news and research from Amazon's science community. #AmazonScience
Kimaya Bedarkar
@kimayabedarkar
PhD student @ MPI-SWS working in formal verification and real-time systems. Likes: stupid cats, pretentious cinema, shit posting
Armin Biere
@arminbiere
Sahar Abdelnabi 🕊 (on 🦋)
@sahar_abdelnabi
Researcher @ Microsoft | ex. PhD @ CISPA | Neurodivergent 🧠🦋 | AI safety & security | life and peace for all ☮️, permanent ceasefire 🍉 Opinions my own.
Soham Chakraborty
@chakraborty_ss
Assistant Professor, TU Delft
POPL 2025
@poplconf
ACM SIGPLAN Symposium on Principles of Programming Languages. Denver, Colorado, United States, 22-24 January 2025 (#POPL2025). Tweets by @xnningxie
Rajeev Alur
@rajeevalur
Professor of Computer Science at @Penn, researcher in Formal methods, Programming languages, Safe AI, Cyber-physical systems
Static Analysis Symposium
@symposiumsas
31th International Static Analysis Symposium, co-located with @splashcon #SAS2024
MPI für Kognitions- & Neurowissenschaften
@mpi_cbs
Research at MPI CBS revolves around #human #cognitive abilities & processes in the #brain, with focus on functions like #language, #memory, #emotions & #action.
Maria Christakis
@mchri5taki5
professor @tu_wien; previously @mpi_sws_, @UniKentComp, @MSFTResearch, @CSatETH, @ecentua; hiring!
MPI-DS Göttingen
@mpids
At Max Planck Institute for Dynamics and Self-Organization we use concepts and tools from physics to study emergent properties of matter in different systems.
Ananta Soneji
@anantasoneji
CS Ph.D. @ASU working in usable security and privacy | Past - Applied ELSI Research Intern @SageBio, Research intern @mpi_sws.
Yang Zhang
@realyangzhang
Faculty at @cispa working on trustworthy machine learning (safety, privacy, and security), misinformation, and memes. Father. My tweets are my own.
Borzoo Bonakdarpour
@theborzoo
Husband, Dad, Associate Prof of Computer Science at Michigan State University. Computer and music nerd.
Tzu-Han👩🏻💻🎹
@tzuhanh
CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
Abhik Roychoudhury
@abhikroychoudh1
Professor of Computer Science at National University of Singapore
Valentin Wüstholz
@vwuestholz
Principal Researcher at ConsenSys Diligence, previously at @CSatETH, @UTAustin, @MSFTResearch, and @Google
emsejournal
@emsejournal
EMSE Journal Official Twitter account: Tweets about Empirical Software Engineering Journal (Springer) and related topics.
Natalie Enright Jerger
@nenrightjerger
Director, Division of Engineering Science, ECE Professor at University of Toronto. Research in Computer Architecture. Mother. She/her
Akshitha Sriraman
@akshithasriram1
Assistant Professor @CMU_ECE & @SCSatCMU. PhD from @UMichCSE. Research in Software Systems & Computer Architecture. (she/her)