Crista 🔶
Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
@skamille.themanagerswrath.com
she/her. Author, manager, distributed systems engineer, etc etc, my latest book Platform Engineering is available now! https://amzn.to/4eUz5zB
@nishiorain.bsky.social
Functional programmer, community builder, professor of CS, emerita, keen to get more women into CS and tech, lecturer, photographer, baker, table tennis player
@guannanwei.bsky.social
Programming languages; Postdoc at INRIA/ENS; Incoming Assistant Professor at Tufts CS https://continuation.passing.style/
@onierstrasz.bsky.social
OO Evangelist since 1981. Soul polisher at feenk.com. Emeritus professor at www.oscar.nierstrasz.org
@joshua-garcia-swe.bsky.social
Assistant Professor at UC Irvine (UCI) researching software testing, especially for autonomous driving; software security; and software architecture. Any views or opinions expressed are solely those of my own and not UCI or its academic campus units.
@randomwalker.bsky.social
Princeton computer science prof. I write about the societal impact of AI, tech ethics, & social media platforms. https://www.cs.princeton.edu/~arvindn/ BOOK: AI Snake Oil. https://www.aisnakeoil.com/
@jahrim.bsky.social
PhD Student in Programming Languages at the University of St. Gallen (HSG)
@laurenceai.bsky.social
Lecturer at the University of Bristol. probabilistic ML, optimisation, interpretability, LLM evals.
@guidosalva.bsky.social
Prof. University of St.Gallen, Director at the Institute of Computer Science. Programming languages, software engineering, cybersecurity
@citostyle.bsky.social
CS Prof @ TU Wien (Vienna), prev DevAI @ Google, Probability @ Meta, Researcher @ MIT and Uni Zurich
@wendigotypes.bsky.social
theoretical computer sorcery and theorem potions · she/they/e wendigotyp.es
@joborgs.bsky.social
Associate prof at Uppsala University in Programming languages Swedish econ through an MMT lens - MMT for Sweden Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭 Private account, he/him, 🌹 🇺🇦 🟣
@adbrucker.bsky.social
Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org
@speculoosworld.bsky.social
OpenSimulator virtual world, speculoos.world, maker of w4os.org WordPress Interface for OpenSimulator
@mark.playbackpress.com
CS professor at Carthage College Creator of Storyteller and founder at Playback Press https://markm208.github.io/ https://playbackpress.com/books I love helping people learn how to read and write code.
@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.
@erata.bsky.social
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
@alexwarth.bsky.social
Principal Investigator at @inkandswitch.com Formerly at Alan Kay's research groups (YCR/HARC, CDG, VPRI), and Google Creator of OMeta, co-creator of ohmjs.org
@tishun.bsky.social
Software Engineer @ Redis, ex-VMware, tech enthusiast, views are my own
@alphaconstant.bsky.social
All in for clean distributed energy abundance. At it for a good while now. Product, strategy, technology & policy
@jff-dev.bsky.social
Computer Scientist / CS Prof at IST, University of Lisbon / Researcher at INESC-ID Web: https://joaoff.com
@mariakorolov.bsky.social
Technology journalist covering artificial intelligence, cybersecurity and quantum computing. Science fiction author and magazine editor. Also -- retired war correspondent.
@dynamicaspects.org
Making software more open, explorable and self-explanatory Also: subjectivity, agency, active inference, niche construction, enactivism @plrg-bristol.bsky.social @iccscambridge.bsky.social @f.luid.org
@ojcchar.bsky.social
Assistant Professor at Willliam & Mary, teaching and conducting research in Software Engineering.
@mmourafiq.bsky.social
Engineer, startups, philosophy, music, coffee ... Tinkering @ Popsy, Polyaxon ... Alum @ YCombinator, BNP, EIB, Kayak, Dubsmash/Reddit ...
@hux.pro
⚛️ Formerly @React.dev core (Forget✨), @ReactNative.dev · Architect, Xplat/Web/UI/PL @ByteDance ·👨🔬 λ.TaPL/FP/Compiler/VM/@TC39
@govcraft.ai
Founder @ Govcraft | ex-Principal AWS, Microsoft, Accenture | 30 yrs of nerd cred | 🧠 Learning Machine | 🌮 Enthusiast | Husband, Dad, Cat Whisperer | Thinking of adopting Rust? Check out "Rust for Tech Leaders": https://govcft.link/rustftl
@aserebrenik.bsky.social
Professor of Social Software Engineering. Eindhoven University of Technology, The Netherlands. Diversity, inclusion and source code. 🇧🇪🇮🇱🏳️🌈 🐕 He/him
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@floralart.bsky.social
Renaissance Wonderland in Bloom | Art for Modern Dreamers 🌸🎨🤖 Crafting Semi-autonomous Visions Beyond Human and Machine #Art #AICreativity #FineArt #ArtAndAI #AIArt #Artwork #ArtificialIntelligence #AIEvolution 🎨 https://bio.site/artcollector
@eskang.bsky.social
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
@inkytonik.bsky.social
Computer Scientist, programming addict, music lover, sports tragic. Ex ANU, CU Boulder, JCU, Macquarie Uni, Symbiont. Currently, static analysis tooling at Oracle. Opinions here are my own. Also https://mastodon.acm.org/@inkytonik.
@mjj8.bsky.social
🇵🇸 roboticist@toyota. he/him. previously at the bretl robotics lab https://bretl.csl.illinois.edu mars rover science team http://pancam.sese.asu.edu https://types.pl/@mjj8 on mastodon
@gofraser.bsky.social
@hauswirth.bsky.social
Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.