tijana minić
cs/psyc interested in pl/hci/cs ed | niche perfume enthusiast and a foodie in training | 🇷🇸🇦🇪🇺🇸
tijanaminic1.github.io
@dominikwinterer.bsky.social
PostDoc@ETH Zurich | Making Formal Methods better and more practical
@weeb.site
book nerd, trans woman, software engineer - compilers-ish check out my blag about the field of computing, being trans, and activism - https://weeb.site/blog
@naumsmogers.bsky.social
Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
@uwcse.bsky.social
The Paul G. Allen School of Computer Science & Engineering at the University of Washington educates tomorrow's innovators while developing solutions to humanity's greatest challenges.
@gconstantinides.bsky.social
Prof Digital Computation @imperialcollege, Director of the Early Career Researcher Institute. Vice Chair @iclmathsschool. Views own. http://constantinides.net.
@macla.ren
i like rust in my codebase but not on my cast iron current undergrad @ ucsd - future grad @ panic at 'called `Option::unwrap()` on a `None` value' she her
@patrickshafto.bsky.social
Prof: Rutgers; Program Manager: DARPA; Scientist-at-Large: Redpoll. Math! Machine learning! Cognitive Science!
@polyroly.bsky.social
CS PhD student @ UC Santa Barbara, doing program synthesis and verification https://junrui-liu.github.io/
@feldmanmolly.bsky.social
Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com
@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
@elfprince13.mumak.app
Director of Geospatial AI @nbcuniversal.com, Brown CS PhD & SMCVT Math/Physics/CS alum, admin @cemetech.net, AFOL, SFF nerd & open-theist Bluesky open-source contributor Decentralizing systems (human & digital) Opinions are my own 📍Vermont
@ellifteria.bsky.social
Elli Beres PhD Student @uwcse.bsky.social | Software Engineering + Science she/her/hers http://elliberes.me
@pivotpod.bsky.social
Official Bluesky for the Pivot podcast with Kara Swisher and Scott Galloway. Part of New York Magazine and the Vox Media Podcast Network.
@guyvdb.bsky.social
🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvdb/
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@andrewhead.bsky.social
Assistant prof at Penn. Designing interactions to make code, formulas, medical notes, and mechanized proofs more readable. Read about my group's work at https://andrewhead.info
@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.
@gabritto.bsky.social
software engineer @typescritlang.org, master's student @ University of British Columbia.
@godsped.com
@profgalloway.com
Professor of Marketing at NYU Stern School of Business, serial entrepreneur, and host of the Prof G and Pivot Podcasts.
@carlosperate.bsky.social
⚡️ Love everything embedded software/hardware. 🧑🏫 Passionate about STEM & EdTech. 👨💻 Embedded Software @ #Microbit Educational Foundation (microbit.org). 🐍 Oxford Python user group co-organiser. 🤔 Views my own.
@pdarragh.bsky.social
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI. Mastodon: https://types.pl/@pdarragh
@skypeascientist.bsky.social
We connect people with science! Get matched with a scientist at SkypeAScientist.com Check out our science street art in Philly (& maybe near you!) Home of the squid facts hotline.
@microblocks.bsky.social
MicroBlocks is a free, live blocks programming language for microcontrollers such as the micro:bit, Calliope mini, Raspberry Pi Pico, ESP32 and many more. https://microblocks.fun/ https://fosstodon.org/@microblocks https://discord.gg/TCpHYbcvkS
@forkjoin.bsky.social
Assistant professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@mcoblenz.bsky.social
Assistant Prof. at UC San Diego. Helping people write better software.
@mapq.bsky.social
Boricua PhD in Computer Science, love salsa, sports, diversity, scifi, and comics. Opinions are only mine. He/him/his.
@haydenbeamit.bsky.social
Founder of Beam it 💜 & Rust Rec 🦀⚙️ I recruit for Elixir, Erlang & Rust Beamrec.com Beamrecjobs.co.uk Need help hiring? Beamrec.com/employers Help with job hunting? Beamrec.com/employability
@handle.invalid
Madrid. PhD student at IMDEA Software Institute + Universidad Politécnica de Madrid
@chenson.bsky.social
CS PhD student @ Drexel University. Types, categories, and verification. Collector of retro computers and vintage books. Formerly Quant Finance at Bank of America.
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@ghadfield.bsky.social
Economist and legal scholar turned AI researcher focused on AI alignment and governance. Prof of government and policy and computer science at Johns Hopkins where I run the Normativity Lab. Recruiting CS postdocs and PhD students. gillianhadfield.org
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@vaibhavsagar.com
future trophy husband disco 🪩 / haskell 𝝺 / powerlifting 🏋️ / sci-fi 🚀 / scuba diving 🤿 🇦🇺🇮🇩🇮🇳 on gadigal land vaibhavsagar.com instagram.com/vbhvsgr recurse.social/@vaibhavsagar twitter.com/vbhvsgr
@jonahstockwell.com
Theoretical computer science, math, art. In NYC @ Columbia University.
@acm.org
The world's largest professional organization advancing #computing as a science and profession. Also on Mastodon | LinkedIn | Meta | YouTube | Instagram.
@acmtoce.bsky.social
The official account of the ACM Transactions on Computing Education journal. Follow for journal announcements such as special issues, policy changes, events, and new publications.
@sasajuric.bsky.social
Elixir mentor, author of Elixir in Action (https://manning.com/books/elixir-in-action-third-edition), aspiring fingerstyle guitar player (https://www.youtube.com/@downcasestring), hobbyist procrastinator.
@joshuagrochow.bsky.social
Research: TheoryCompSci, pure math, complex systems Other: climate; covid; equity, inclusion, & accessibility Assoc. Prof. @ CU Boulder Comp. Sci. & Math Views my own @joshuagrochow@mathstodon.xyz (& prev twitter) https://home.cs.colorado.edu/~jgrochow