×
You are not logged in
Bluesky Followers
João F. Ferreira
Followers of @jff-dev.bsky.social
UCSB Computer Science Department
Registered:18 Nov 2024 23:42
Mário Gaspar
Registered:16 Nov 2024 18:59
Professor of Computer Science and Engineering at @istecnico.bsky.social. Ethics in science and tech. Information processing systems.
stitchfan1980.bsky.social
Registered:2 Apr 2025 19:40
Big soaps and gladiators fan and collect all kinds of stuff love stitch and porn ❤️
Allele Security Intelligence
Registered:4 Nov 2024 13:19
Allele Security Intelligence is an independent company specializing in Information Security research. Research and development are fundamental principles that guide our decision-making, enabling us to offer efficient and excellent services to our clients.
Bala Chandrasekaran
Registered:11 Mar 2025 12:14
Husband. Dad. Researcher. Educator. Photographer.
Resston
Registered:1 Sep 2024 14:33
Brazilian photographer living in São Paulo.
Portfolio : bit.ly/3pz9cRK & bit.ly/42XDJtm ( look & share )
Thousands of stunning photos & videos in my portfolio.
Instagram : @resston X : @RobResstonFo
International Conference on Automated Software Engineering (ASE)
Registered:13 Feb 2025 09:44
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/hom...
Davide Ancona
Registered:22 Apr 2025 20:13
University of Genova, Italy
akondrahman.bsky.social
Registered:18 Apr 2025 04:42
Matthieu Lemerre
Registered:14 Apr 2025 08:46
Researcher at CEA LIST, working on abstract interpretation of systems language
Eerke Boiten
Registered:5 Nov 2024 21:18
Prof Cyber Security and Head of School Computer Science and Informatics at De Montfort University. Own views. He/him.
Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes. DM:eerke.boiten@dmu.ac.uk.
Owen Maresh
Registered:22 Sep 2023 13:46
Mathematics Sorceror (sensory alchemist) at the Arctangent Transpetroglyphics Algra Laboratory (ATAL), I transflarnx mathematics into living rainbows. http://owen.maresh.info https://github.com/graveolensa
Psoeppe-Tlaxtlal, (an undreamt splendour?)
Jonny Low
Registered:6 Dec 2024 03:43
🎓 PhD @ Monash | 🔷 Lecturer in IT @ VU | ⚙️ Software Engineering | 🩺 AI in Healthcare
Dominik Winterer
Registered:4 Dec 2024 12:46
Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github....
Chris Martens
Registered:27 Jan 2025 15:51
mostly not here, but there: https://hci.social/@chrisamaph...
HumaniSE Lab
Registered:4 Dec 2024 00:39
Funded by ARC, our lab’s world-leading research makes a difference by delivering more inclusive software solutions for today's diverse population needs.
Daniel Sokolowski
Registered:6 Feb 2025 09:10
ProTeam Management Trainee at #LufthansaGroup, ex Applied Scientist Intern at #AWS, Software Engineer, and Research Scientist
Eric Eide
Registered:20 Nov 2024 00:17
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
vijaychidambaram.bsky.social
Registered:28 Jan 2025 03:57
Ricardo Mateus
Registered:28 Jan 2025 23:04
Decision Analysis. Operations Research. Multicriteria. Optimization. Data Science. Public Procurement.
Xavier Devroey
Registered:29 Nov 2024 15:35
🇧🇪👨💻🏳️🌈
Yuriy Brun
Registered:19 Nov 2024 15:29
Professor at the University of Massachusetts Amherst
https://people.cs.umass.edu/~b...
Ferhat Erata
Registered:22 Nov 2024 16:44
PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai
Francesco Ranzato
Registered:14 Nov 2024 20:44
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Augmenta iunera
Registered:30 Nov 2024 15:56
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
Publicação online com ensaios, críticas e crónicas. Uma ponte entre o mundo académico e a sociedade civil. www.revistaminerva.pt
Laura_lister417
Registered:24 Dec 2024 18:11
Entrepreneur 🚀
Travel / lifestyle 📍
Digital creator 🌎
Dr Oana Andrei
Registered:4 Nov 2024 19:51
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.
Jérôme Maquoi
Registered:18 Nov 2024 12:46
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...
Isil Dillig
Registered:6 Nov 2024 17:22
CS professor at UT Austin, does research in programming languages & formal methods.
Luís F. Gomes
Registered:28 Nov 2024 18:24
SE PhD Student @ CMU | AI4SE | SE Productivity
Jorge A. Pérez
Registered:20 Nov 2024 20:26
Fundamental Computing (http://rug.nl/fse/fc)
University of Groningen (NL)
Software correctness | Concurrency, Logic, Programming (https://www.jperez.nl/)
Father (x2)
Toby Murray
Registered:8 Aug 2023 13:36
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
Andy Gill
Registered:16 Nov 2024 17:22
Principal Software Engineer at Flex. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
pcanelas.bsky.social
Registered:26 Nov 2024 16:29
Crista 🔶
Registered:8 Sep 2024 16:40
Professor at UC Irvine, among other things. This is my personal account, not the University’s.
I like light and clarity.
Molly Q Feldman
Registered:2 Dec 2024 19:04
Thinks about computing with humans and computing for humans. Assistant Professor of Computer Science. feldmanmolly.com
Matthew Parkinson
Registered:15 Nov 2024 06:26
Programming language researcher at Microsoft.
John Wickerson
Registered:7 Aug 2024 08:23
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
Caterina Urban
Registered:14 Nov 2024 15:56
Andy Zaidman
Registered:3 Feb 2024 21:10
Full professor in software engineering @tudelft. Department head. Software tester. Researcher. Teacher. World citizen.
Martin Mirchev
Registered:21 Nov 2024 11:17
PhD Student in Trustworthy and Secure Software Research group in National University of Singapore
jeremysiek.bsky.social
Registered:16 Nov 2024 21:18