Konstantinos Kallas
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@ttforall.bsky.social
Making Type Theory, Programming Languages and Formal methods more accessible! http://typetheoryforall.com
@premthakker.bsky.social
reporter @zeteo.com Any tips or info you’d like to share? Signal premthakker.35 Prem@zeteonews.com https://linktr.ee/premthakker
@vagoz.bsky.social
@axz.bsky.social
Professor of social computing at UW CSE, leading @socialfutureslab.bsky.social social.cs.washington.edu
@nacrooks.bsky.social
CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
@leaypi.bsky.social
Professor of Political Theory at the London School of Economics. Flas shqip.
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@ajsangeetha.bsky.social
Assistant Professor, Computer Science at UC Irvine https://ics.uci.edu/~sabdujyo/
@yotamfe.bsky.social
PhD in computer science (formal methods), postdocing in computational chemistry. Schmidt Science Fellow 2023
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@c-official.bsky.social
Official account of the C Programming Language, invented by Immanuel Kant in 1799 at Bell Labs Königsberg
@vkemerlis.bsky.social
Professor @Brown CS. Brown Hat. Research on systems and software security. 🏴☠️🇬🇷🇺🇸 https://cs.brown.edu/~vpk
@dbp.bsky.social
Assistant Teaching Prof @ Northeastern. Programming Languages, Types, Language Interoperability. Opinions my own, not my employers.
@ryanmarc.us
Assistant professor at UPenn. Database systems. https://RyanMarc.us I'm mostly on Mastodon, https://discuss.systems/@ryanmarcus
@poorvagarg.bsky.social
Working on Probabilistic Programming Languages https://web.cs.ucla.edu/~poorvagarg/
@jia-li.bsky.social
A CS PhD candidate @UPenn. Distributed Systems, Datacenter Sustainability, Economics.
@akisg.bsky.social
CS Graduate Student @uofpenn.bsky.social | Exploring the intersection of Distributed Systems & ML
@guipsp.bsky.social
PhD Student at the University of Lisbon Working on Static Resource Analysis and Probabilistic Programming Mastadon: @GUIpsp@types.pl Dorothy is my bestie
@sanders.senate.gov
Sen. Sanders of Vermont, Ranking Member of the U.S. Senate Committee on Health, Education, Labor & Pensions, is the longest-serving independent in congressional history.
@pkrugman.bsky.social
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@jphillll.bsky.social
Earthseed | Abolition | Anti-capitalism Read my writing, if you want 👇🏻 www.jphilll.com
@moreperfectunion.bsky.social
Nonprofit newsroom. Media that builds power for working people. Join us: https://linktr.ee/moreperfectunion
@eunicemjun.bsky.social
Asst prof @ UCLA CS. Programming tools for scientists! Usually doing some combo of HCI + data science + PL. Always drinking or dreaming about tea (or tea-lang.org, tisane-stats.org).
@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
@calebstanford.bsky.social
Assistant Professor at UC Davis. Programming languages, formal methods, systems. https://github.com/DavisPL
@eskang.bsky.social
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
@aoc.bsky.social
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
@lalithsuresh.bsky.social
CEO @ feldera.com, the incremental compute engine for AI, ML and data teams. Formerly a systems researcher in distributed systems, databases, cloud, OS, PL, and networking. Sci-fi and gaming nerd. lalith.in/research
@catarinavgamboa.bsky.social
PhD student 💻 SE, PL at CMU and U.Lisbon ✈️ Currently in Lisbon
@someshjha.bsky.social
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@josepablocam.bsky.social
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@sdumbrava.bsky.social
@mjamiri.bsky.social
Assistant Professor at Stony Brook University. Previously: UPenn and UC Santa Barbara. Areas: data management, consensus, blockchains. www3.cs.stonybrook.edu/~amiri
@bimalraj.bsky.social