Rohan Padhye
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@cmus3d.bsky.social
At Carnegie Mellon University's Software and Societal Systems Department (S3D), we solve big, complex challenges at the critical intersection of technology and society.
@gtf.fyi
Assistant Professor, Computer Science @ CO School of Mines Brick Ontology for smart buildings Knowledge graphs, databases, semantic interoperability https://gtf.fyi
@xiangpeng.systems
Database/storage Flight/DataFusion/Arrow/Parquet PhD student@UW-Madison https://xiangpeng.systems
@joannacss.bsky.social
Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
@cachemisses.bsky.social
PhD candidate in Systems @ UChicago. Working on software reliability & efficiency. Opinions, my own. Reposts are not endorsements. Personal website: https://bastoica.github.io/
@citostyle.bsky.social
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
@denismerigoux.bsky.social
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
@apanda.me
I am A Panda. I work on systems and networking at NYU. I mostly hang out at https://discuss.systems/@apanda
@justinesherry.bsky.social
I'm a member of the imperial senate on a diplomatic mision to Alderaan. Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8! www.justinesherry.com
@feldmanmolly.bsky.social
Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.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
@joshsunshine.bsky.social
Assistant Professor at Carnegie Mellon. I help people understand the software they create.
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@josepablocam.bsky.social
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
@eskang.bsky.social
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@vhellendoorn.bsky.social
Researcher making programming more accessible, Google DeepMind and CMU
@xdevroey.bsky.social
Prof. of software engineering and testing at the University of Namur, Belgium. Check our teamwork at https://snail.info.unamur.be 🇧🇪👨💻🏳️🌈
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@schasins.bsky.social
Assistant Professor at UC Berkeley EECS. PL+HCI. Into making programming easier for social scientists and domain experts.
@kjain14.bsky.social
SE PhD Student at Carnegie Mellon University interested in NLP for software engineering, program analysis and software testing. Former intern at Facebook AI Research.
@catarinavgamboa.bsky.social
PhD student 💻 SE, PL at CMU and U.Lisbon ✈️ Currently in Lisbon
@cestlemieux.bsky.social
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
@yannicnoller.bsky.social
CS Professor at @ruhr-uni-bochum.de https://yannicnoller.github.io
@veselinr.bsky.social
INSAIT, Co-founder LogicStar AI, ex: Snyk Code, founder DeepCode, PhD @ ETH Zurich - ML for code, Google Maps directions
@cellocorgi.bsky.social
Assistant Professor, Software Engineering, UMass Amherst! madelineendres.com
@gofraser.bsky.social
@ayushirastogi.bsky.social
Software engineering research | Assistant Professor at University of Groningen
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@nc2y.bsky.social
Prof. at Carnegie Mellon University. Computer security, online crime, and assorted online seediness. Reformed(?) hacker. Economic migrant. 📍 Pittsburgh, PA, mostly 🕸️ https://www.andrew.cmu.edu/user/nicolasc
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
@philmcminn.bsky.social
Professor of Software Engineering, The University of Sheffield. https://philmcminn.com
@mcarbin.bsky.social
Associate Professor in EECS at @MIT | Principal Scientist at @Databricks | Founding Advisor at @mosaicml | Programming Systems | Neural Networks | Approximate Computing
@vasilescu.bsky.social
I shorten academic research papers to fit in 10 pages for a living, at CMU. https://www.instagram.com/count_scratchula http://bvasiles.github.io