Solderlocks @solderlocks.bsky.social Serial pursuer of insurmountable hardware and software problems, armed primarily with unwarranted optimism.
https://github.com/solderlocks
Dr. Thorsten Fuchs @thorfuchs.bsky.social PhD Mathematician, Panta Rhei Research Program. Former McKinsey, Microsoft, AWS & ServiceNow.
https://panta-rhei.site
ai-nerd.bsky.social @ai-nerd.bsky.social interested in AI, science, tech, coding, ethics, and โฆ humanity
@jonasbrottrager.bsky.social @jonasbrottrager.bsky.social
Marko Lalovic @lalovic.com Interests: #machinelearning, #algorithms, #graphs, #networkscience
PhD Student at NetSI @ Northeastern University in London, UK
๐ https://lalovic.com/
natasha zuckerbaeck (๏ผใโ) @komtesserl.bsky.social cursed with potential
Owen Maresh @graveolens.bsky.social 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,
Psoepbe-Tlaxtlal; (an undreamt splendour?)
@bertollo6.bsky.social @bertollo6.bsky.social
Anuj Dawar เค
เคจเฅเค เคฆเคพเคตเคฐ ุงููุฌ ุฏุงูุฑ @anujdawar.bsky.social Professor of Logic and Algorithms @cst.cam.ac.uk. Fellow @robinsoncollege.bsky.social. Fellow @royalsociety.org.
Theoretical computer scientist. News junkie. Parent of teenagers.
Xinyu Hu @xinyu-hu.bsky.social PhD Candidate in EconCS
Science HR @sciencehr.bsky.social A career network featuring science jobs in academia and industry.
Visit our platform at www.science.hr
@tunyash.bsky.social @tunyash.bsky.social
์์ผ @sioum.bsky.social ์ํ์ ๊ทธ๋ํ์ด๋ก ์ ๊ณต ๊ธฐ์ด๊ณผํ์ฐ๊ตฌ์ ์ด์ฐ์ํ๊ทธ๋ฃน
@lutzoettershagen.bsky.social @lutzoettershagen.bsky.social Assistant Professor at the Department of Computer Science, University of Liverpool.
https://lutzoe.github.io/
Iman M @smolpeanut.bsky.social - V @valyakuttan.bsky.social @valyakuttan.bsky.social
Gerard de Melo @gdemelo.bsky.social Professor for AI at Hasso Plattner Institute and University of Potsdam
Berlin (prev. Rutgers NJ USA, Tsinghua Beijing, Berkeley)
http://gerard.demelo.org
@akaviani.bsky.social @akaviani.bsky.social Intersted in theoretical computer science | IOI 2022 Gold | Codeforces: alireza_kaviani
RAGE-KG 2026 @rage-kg.bsky.social RAGE-KG (Retrieval-Augmented Generation Enabled by Knowledge Graphs) is an established academic workshop targeting synergies between #KGs, #RAG and #LLMs, coming to #ISWC 2026 in Bari, Italy ๐ฎ๐น.
CfP: https://rage-kg.org
Connect and share on Bluesky โ๏ธ
Harish Chandramouleeswaran @harish1108.bsky.social Ph. D. student in computer science at the Chennai Mathematical Institute.
Academic webpage: https://sites.google.com/view/harish-chandramouleeswaran
Neeldhara Misra @neeldhara.bsky.social โ http://www.neeldhara.com
VCLA | TU Wien @vclatuwien.bsky.social The Vienna Center for Logic and Algorithms (VCLA) promotes international scientific collaboration in logic and algorithms.
https://www.vcla.at- D Dejan Jovanoviฤ @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Ryan Williams @rrwilliams.bsky.social professor of EECS at MIT. working in theoretical computer science namely algorithm design, complexity theory, circuit complexity, etc.
i'll let you know when P != NP is proved (and when it's not)- G Gaurav Kumar @gauravkmr.bsky.social Junior Research Fellow at IISER Pune. Complex Networks. MSc Physics, IIT Gandhinagar.
@placeholder7878.bsky.social @placeholder7878.bsky.social Many methods, one goal. Pro trans transhumanist, liberal, georgist, pro state capacity, anti administrative burden.
Ulrich Junker @ulrichjunker.bsky.social Scientist in Artificial Intelligence and the Decision Sciences.
https://uli-research.com/About_Me.html
Daniel Gruss @gruss.cc Aka @lavados #InfoSec University Professor @ #TUGraz. #meltdown, #spectre, #rowhammer, cache attacks, sustainable security. Produced a side channel security sitcom. https://gruss.cc https://x.com/lavados https://infosec.exchange/@lavados
Une chรจvre curieuse @datagoat.bsky.social Oeuvre pour les communs numรฉriques ๐ฑ
Je suis un compte de veille gรฉrรฉ par un humain, si je vous suis cโest que vous รชtes dans la recherche ๐ฌ
Juha Harviainen @juhahar.bsky.social HIIT Postdoctoral Fellow at University of Helsinki / parameterized algorithms, bioinformatics, counting problems, probabilistic graphical models / https://juhaharviainen.com/
๐๐ธ๐๏ธฮฉZhSigma@332ppmโ
ฮฃx,xโS{๐ฑ๐๐ช๐บฮปP(ฮธ|y)โ}learn-languages-world-life @stphrolland.bsky.social S.L. Rolland@332ppm
RepostReadLearn:
Rom ๐ซ๐ท๐ช๐ธ๐ช๐จ๐ฒ๐ฝ๐ฎ๐น๐ต๐น๐ง๐ทGalCat๐ท๐ด
Germ ๐ฌ๐ง๐จ๐ฆ๐ณ๐ฑ๐ง๐ช๐ฟ๐ฆ๐ฉ๐ช๐ธ๐ช๐ฉ๐ฐ๐ณ๐ดNno;๐ซ๐ด๐ฎ๐ธ
Slv ๐ต๐ฑ๐บ๐ฆ๐ท๐บ๐จ๐ฟ๐ธ๐ฐ;๐ง๐ฌ๐ญ๐ท๐ท๐ธ/๐ง๐ฆ๐ฒ๐ช๐ง๐พ๐ธ๐ฎ
IE ๐ฌ๐ท๐ฎ๐ท HanZ ๐จ๐ณ๐น๐ผ๐ญ๐ฐ๐ฏ๐ต Aggl Eo๐น๐ท๐ซ๐ฎ;๐ช๐ช๐ญ๐บ๐ฐ๐ท๐ฒ๐ณ
Poly ๐ฌ๐ฑ Aus ๐ฎ๐ฉ๐ฒ๐พ๐ต๐ญ๐ฒ๐ฌ Sem ๐ฎ๐ฑ๐ฑ๐ง๐ฒ๐ฆ Cel ๐ด๓ ง๓ ข๓ ท๓ ฌ๓ ณ๓ ฟ๐ฎ๐ชGd
Linguistics
ClimateAgnotologyDisinformation
SentientismFlexitarian
Astro๐๐๐๐Calligraphy๐ชถ
Linux- B @barbaraholzberger.bsky.social @barbaraholzberger.bsky.social
@daajoe.bsky.social @daajoe.bsky.social
sid @s1db.bsky.social Engineer at Arista Networks.
I spend my time hacking on combinatorial solvers (for fun) and network orchestration (for profit).
Previously: @uofglasgow.bsky.social
Thomas Pani @thpani.bsky.social Protocol Security Researcher :: https://blltprf.xyz | prev: @informalinc, @tuwien.at
fuzzing, formal verification, bespoke security engineering
WWTF @wwtf.at The Vienna Science and Technology Fund is a non-profit organisation to promote science and research in Vienna.- M Mร riรฉ @mariziv.bsky.social Math enthusiast
@mariziv@mastodon.social
Olivier Bournez @bournez.bsky.social Prof @Polytechnique
Computer Science #Computationtheory#JeKiffeLesMachinesDeTuring #OrdinaryDifferentialEquations#Non-Binary (Analog) Computations
Benoรฎt Rihoux @benoitrihoux.bsky.social Full Prof, political science, UCLouvain | Chair of MethodsNET @methodsnet.bsky.social, global hub for #researchmethods #innovation & accessible #training | Into #QCA, comparison, #mixedmethods, multidata & cool collaborative projects | #methods pluralist
Wim Vanroose @vanroose.bsky.social HPC, solvers, optimisation, PDE, mathematical modelling
TinyTalesDaily @tinytalesdaily.bsky.social ๐ Story dealer on duty serving fresh plots daily
https://tinytalesdaily.com
also on https://www.instagram.com/tinytalesdaily365/
Ivona Brandic @ivonabrand.bsky.social Univ. Prof @ TU Wien; Computational Sustainability ๐ฑ
@hoarecalculus.bsky.social @hoarecalculus.bsky.social
Deepak Ajwani @deepaka.bsky.social Researcher in machine learning for combinatorial optimization, algorithm engineering; Faculty at CS@University College Dublin (Ireland)
BIFOLD Berlin Institute for the Foundations of Learning and Data @bifold.berlin Groundbreaking foundational research in Big Data Management, Machine Learning, and their intersection. #AI #Research
www.bifold.berlin
๐ฐNews: www.bifold.berlin/news-events/news
๐Data Privacy: www.bifold.berlin/data-privacy
Daniel Dobriy @smntc.bsky.social Researcher & faculty member @DPKM dedicated to the field of AI, with the focus on knowledge technologies (knowledge graphs, semweb, RAG) & their use in e-gov, skills matching, research ecosystem, digital humanities and education. Partner @km-a.bsky.social.
@haosunuw.bsky.social @haosunuw.bsky.social
@gzli929.bsky.social @gzli929.bsky.social
Burny @burnytech.bsky.social On the quest to understand the fundamental mathematics of intelligence and of the universe with curiosity. http://burnyverse.com Upskilling @StanfordOnline
Robert Peharz @ropeharz.bsky.social Assistant prof at TU Graz, formerly assistant prof at TU Eindhoven, Marie-Curie Fellow at University of Cambridge. Probabilistic Machine Learning.
Jannis Harder @jix.one open source dev, inactive demoscener, occasional CTF crypto challenge solver
working on SAT solving, HW formal verification tools, yosys
https://jix.one/
they/them
Gartenblume @helgaszeider.bsky.social
@allanhanbury.bsky.social @allanhanbury.bsky.social
Tuukka Korhonen @laakeri.bsky.social Theoretical computer science postdoc at the University of Copenhagen. https://tuukkakorhonen.com/
Altiam Kabir @altiam.bsky.social ๐ฆพ AI Educator | Marketer | Career Coach | Founder
๐ Want to Learn & Make Money with AI ?
๐ค Join our 100k+ AI community ๐: aiplanetx.com
๐ And learn AI along with 27+ Free AI Gift โคด
๐ฅ SaaS Community: go.saasltddeals.com/community
ChatGPT > Marketing
@efroach76.bsky.social @efroach76.bsky.social
Peter Knees @peterknees.bsky.social Prof @informatics.tuwien.ac.at, Music IR, RecSys, @unesco.org Chair on Digital Humanism, former Visiting Assistant Prof @ GATech
Daniel Arp @darpsky.bsky.social Assistant Professor at TU Wien
Machine Learning & Security
Aadam @aadam.dev Ph.D. student @ IUI. Studying #MachineLearning, #NeuroSymbolicAI
Fajar J. Ekaputra @ekaputra.bsky.social Assistant Professor, Knowledge Engineer and Semantic Web Enthusiast @ Semantic Systems Group @ WU Vienna, Austria.
Plays drum, watch and play football for fun.
Stefan Neumann @neumannstefan.com Assistant professor @ TU Wien, associate faculty @ Complexity Science Hub.
Previously: KTH, Brown, Uni Wien.
I study algorithms for data science and social-network analysis. Connecting theory ๐ค practice.
More info: https://neumannstefan.com.
Danupon @nanongkai.bsky.social
Philipp Leitner @philippleitner.net Associate Professor @ Chalmers University of Technology
http://icet-lab.eu
Katja Hose @katjahose.bsky.social Professor at TU Wien (Austria); research on #dataManagement and #queryOptimization with a focus on #graphs and #knowledgeGraphs
https://www.dbai.tuwien.ac.at/staff/khose
Matteo Maffei @matteomaffei.bsky.social Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
Stephan Klausness @klausness.bsky.social
Masahiro Sakai @msakai.bsky.social Engineer at Noeon Research โ Engineer at Preferred Networks โ Research Scientist at ๆฑ่.ใๆฝ่ฑกใซใใใฝใใใฆใงใข่จญ่จใใๅใทในใใ ๅ
ฅ้ใๅ
ฑ่จณ่
, Haskeller, github.com/msakai, twitter.com/masahiro_sakai facebook.com/masahiro.sakai
Josรฉ A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain
@noous.bsky.social @noous.bsky.social
sudhang @sudhang.bsky.social Computational Social Systems Masters Student at the TU Graz +
Senior Software Engineer in the industry
Max Thiessen @maxthiessen.bsky.social Postdoc in theory of machine learning at Uni Tรผbingen.
https://maxthiessen.github.io
Jaron Maene @jjcmoon.bsky.social PhD student @ KU Leuven | maene.dev | #neurosymbolic learning & #probabilistic reasoning
Michael Trick @miketrick.bsky.social Dean, Carnegie Mellon in Qatar. Operations Research, Sports Scheduling
Pasha @pashakho.bsky.social https://khosravipasha.github.io/
Alexey Ignatiev @aignatiev.bsky.social Computer scientist from Melbourne, AU https://alexeyignatiev.github.io
Pulkit Verma @pulkitverma.bsky.social Postdoc @csail.mit.edu, Ph.D. from @scai-asu.bsky.social
Working on AI Safety, AI Assessment, Automated Planning, Interpretability, Robotics
Previously: Masters from IITGuwahati, Research Intern at MetaAI
https://pulkitverma.net
Michael Kiran Huber @mikhub.at studiert informatik @tuwien.at und epistemologies of science and technology @univie.ac.at. fasziniert vom spannungsfeld technik und gesellschaft. board member @clubalpbachtirol.
michaelkhuber.at
Gabriel Istrate @gistrate.bsky.social Computer Scientist, University of Bucharest. Theoretical Computer Science, Multiagent Systems, Complex Systems (and MUCH MORE)
Bo Jensen @mrbojensen.bsky.social Works at Optibus, previous developer of high performance optimization software at CPLEX/IBM., MOSEK and SULUM. Opinions are my own.
Thatchaphol Saranurak @eigx.bsky.social Assistant Professor at the University of Michigan.
I design fast graph algorithms in dynamic/distributed/local settings.
https://sites.google.com/site/thsaranurak/
Guy Van den Broeck @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/