×
You are not logged in
Bluesky Follows
João F. Ferreira
Follows by @jff-dev.bsky.social
Dejan Jovanović
Registered:12 May 2023 17:48
Follow date:6 Mar 2025 13:23
Automated reasoning @ AWS.
https://dddejan.github.io/
Chris Martens
Registered:27 Jan 2025 15:51
Follow date:6 Mar 2025 13:23
mostly not here, but there: https://hci.social/@chrisamaph...
Einar Broch Johnsen
Registered:27 Feb 2025 14:56
Follow date:6 Mar 2025 13:23
Prof CS University of Oslo
https://ebjohnsen.org
Dominik Winterer
Registered:4 Dec 2024 12:46
Follow date:6 Mar 2025 13:22
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github....
vijaychidambaram.bsky.social
Registered:28 Jan 2025 03:57
Follow date:20 Feb 2025 20:14
Eric Eide
Registered:20 Nov 2024 00:17
Follow date:20 Feb 2025 20:14
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
Ferhat Erata
Registered:22 Nov 2024 16:44
Follow date:20 Feb 2025 20:14
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Daniel Sokolowski
Registered:6 Feb 2025 09:10
Follow date:20 Feb 2025 20:13
ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Francesco Ranzato
Registered:14 Nov 2024 20:44
Follow date:2 Jan 2025 19:38
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Augmenta iunera
Registered:30 Nov 2024 15:56
Follow date:28 Dec 2024 17:13
representative of iunera.com
#ai and #mcp fan!
Hunting crazy projects;
#java #python #angular;
#OpenSource #indiehacker ;
#Bigdata and #AI enthusiast;
loving #crypto and tokenization/#NFT use cases beyond art.
Disrupt #OSS: https://license-token.com
Revista Minerva Universitária
Registered:19 Dec 2024 13:03
Follow date:27 Dec 2024 17:57
Publicação online com ensaios, críticas e crónicas. Uma ponte entre o mundo académico e a sociedade civil. www.revistaminerva.pt
Jérôme Maquoi
Registered:18 Nov 2024 12:46
Follow date:27 Dec 2024 16:08
PhD student working on Green Software Engineering at the University of Namur, Belgium, in the SNAIL Team (https://snail.info.unamur.be/)
https://jeromemaquoi.github.io...
Sebastian Baltes
Registered:22 Nov 2024 07:01
Follow date:19 Dec 2024 14:36
Software Engineering & Empirical Research
https://empirical-software.eng...
samgrayson.me
Registered:13 Nov 2024 22:43
Follow date:19 Dec 2024 14:31
pcanelas.bsky.social
Registered:26 Nov 2024 16:29
Follow date:19 Dec 2024 14:30
Catarina Gamboa
Registered:26 Nov 2024 16:14
Follow date:19 Dec 2024 14:30
PhD student
💻 SE, PL at CMU and U.Lisbon
✈️ Currently in Lisbon
Preetha Chatterjee
Registered:3 Apr 2024 11:43
Follow date:19 Dec 2024 14:30
Asst. Prof. Drexel Dept. Of Computer Science @drexeluniv | Research on mining software repositories, empirical software engineering
https://preethac.github.io/
lionelbriand.bsky.social
Registered:17 Nov 2024 15:28
Follow date:19 Dec 2024 14:30
Rodolphe Lepigre
Registered:16 Nov 2024 22:19
Follow date:19 Dec 2024 14:29
Computer scientist, OCaml programmer, Coq/Rocq hacker
AI + FM papers
Registered:24 Nov 2024 18:52
Follow date:19 Dec 2024 14:29
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
Sven Apel
Registered:16 Nov 2024 22:26
Follow date:19 Dec 2024 14:28
Professor of Computer Science
https://www.se.cs.uni-saarland...
Guy Van den Broeck
Registered:5 Oct 2023 21:38
Follow date:19 Dec 2024 14:28
🎓 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/~guyvd...
Grady Booch
Registered:23 Apr 2023 23:08
Follow date:19 Dec 2024 14:28
scientist, storyteller, philosopher
computingthehumanexperience.com
Manu Sridharan
Registered:11 Sep 2024 19:01
Follow date:19 Dec 2024 14:28
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
Nate Foster
Registered:25 Jul 2023 20:13
Follow date:19 Dec 2024 14:27
Husband, dad, cyclist, OCaml h4x0r, EPFL professor (in that order)
Marcel Böhme
Registered:17 Nov 2024 07:13
Follow date:19 Dec 2024 14:27
Software Security @ MPI for Security and Privacy
Spokesperson for Max Planck Research Group Leads at CPTS
PhD @NUS, Dipl.-Inf. @TUDresden
Research Group: http://mpi-softsec.github.io
Michael Coblenz
Registered:20 Nov 2024 20:37
Follow date:19 Dec 2024 14:27
Assistant Prof. at UC San Diego. Helping people write better software.
Emery Berger
Registered:1 Sep 2023 02:28
Follow date:19 Dec 2024 14:27
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass... http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
Kristopher Micinski
Registered:13 Nov 2024 06:06
Follow date:19 Dec 2024 14:27
kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Andy Gill
Registered:16 Nov 2024 17:22
Follow date:19 Dec 2024 14:27
Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
Crista 🔶
Registered:8 Sep 2024 16:40
Follow date:19 Dec 2024 14:27
Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Aws Albarghouthi
Registered:23 May 2023 14:45
Follow date:19 Dec 2024 14:27
Computer science professor
University of Wisconsin–Madison
https://pages.cs.wisc.edu/~aws...
Cyrus Omar
Registered:2 May 2023 19:48
Follow date:19 Dec 2024 14:27
🌱 ruining programming forever @ hazel.org
🌱 professoring @ Michigan
🌱 poetry
🌱 dendrites
🌱 immersion
🌱 flowers
🌱 resisting idiocracy
https://web.eecs.umich.edu/~co...
George A. Constantinides
Registered:17 Nov 2024 07:50
Follow date:19 Dec 2024 14:26
Prof Digital Computation @imperialcollege, Director of the Early Career Researcher Institute. Vice Chair @iclmathsschool. Views own. http://constantinides.net.
John Wickerson
Registered:7 Aug 2024 08:23
Follow date:19 Dec 2024 14:26
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Derek Dreyer
Registered:13 Nov 2024 07:57
Follow date:19 Dec 2024 14:26
Get used to disappointment.
Dan Grossman
Registered:19 Nov 2024 22:13
Follow date:19 Dec 2024 14:26
David Van Horn
Registered:25 May 2023 15:55
Follow date:19 Dec 2024 14:26
Prof at UMD CS.
Adrian Sampson
Registered:24 Mar 2023 19:02
Follow date:19 Dec 2024 14:26
actually just on Mastodon: https://discuss.systems/@adria...
Satnam Singh
Registered:17 Aug 2024 22:30
Follow date:19 Dec 2024 14:26
Punjabi-Scottish-American husband and father of two, Haskell hacker, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California
http://raintown.org
Stefan Marr
Registered:11 Nov 2024 20:48
Follow date:19 Dec 2024 14:26
Interpreters, compilation, concurrency, and debugging tools.
Caterina Urban
Registered:14 Nov 2024 15:56
Follow date:19 Dec 2024 14:26
Toby Murray
Registered:8 Aug 2023 13:36
Follow date:19 Dec 2024 14:26
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
Dr. Claire Le Goues
Registered:4 Jul 2023 16:59
Follow date:19 Dec 2024 14:26
Prof@SCS@CMU, scientist, software engineer, “heartless wench”, mama. It's pronounced "Le Gwess". Mostly academia, tech/SE, PGH. She/her
Dr Oana Andrei
Registered:4 Nov 2024 19:51
Follow date:19 Dec 2024 14:26
Senior Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
Sam Tobin-Hochstadt
Registered:28 Apr 2023 22:29
Follow date:19 Dec 2024 14:26
Associate Professor, IU Computer Science ·
Core Developer, @racketlang.bsky.social ·
Member, TC39 ·
Handler, Gravymaker ·
Bike Advocate, Bloomington IN
Isil Dillig
Registered:6 Nov 2024 17:22
Follow date:19 Dec 2024 14:26
CS professor at UT Austin, does research in programming languages & formal methods.
Matthew Parkinson
Registered:15 Nov 2024 06:26
Follow date:19 Dec 2024 14:26
Programming language researcher at Microsoft.
Dominic Orchard
Registered:11 Nov 2024 09:31
Follow date:19 Dec 2024 14:26
Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io
Conor Mc Bride
Registered:13 Nov 2024 20:43
Follow date:19 Dec 2024 14:26
they/them
I'm Conor. I'm a nonbinary
Computer Scientist. God loves irony.
Femme presenting apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
@pigworker@types.pl on fedi
Don't call me Sir.