Michele Alberti
@m-dodds.bsky.social
Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social
@mu00d8.bsky.social
Postdoctoral researcher in the SEFCOM lab @ASU; prev @CISPA Helmholtz Center and @RUB; interested in Systems Security / Program Analysis / Fuzzing
@ai-fm-papers.bsky.social
A feed of interesting AI / math / formal methods papers. Posts by @m-dodds.bsky.social
@yann-lecun.bsky.social
Professor a NYU; Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate. http://yann.lecun.com
@lcavallaro.bsky.social
Pizza, Phrack, and Trustworthy AI for Systems Security at UCL Computer Science
@raistolo.bsky.social
Tinkerer, security geek, recovering entrepreneur, full professor at www.polimi.it, frequent flyer, private pilot, and generic pundit. He/Him 🏳️🌈 For aviation follow me on Instagram, same id!
@bloody-tangerine.bsky.social
Researcher at CNRS. Feminist. I work on microarchitectural security. https://cmaurice.fr
@orsaysaclay.bsky.social
"La cité scientifique Orsay-Saclay 45-80 : aménagement du territoire, politiques de l'ESR ", projet animé par emiliarobinhist.bsky.social. Carnet de recherches : https://orsaysaclay.hypotheses.org #StandUpForScience
@devendradhami.bsky.social
Pahadi 🇮🇳| Assistant Professor at TU Eindhoven | Causality, Neuro-symbolic AI, Probabilistic Circuits and pretty much all of Machine Learning ;)
@mjg59.eicar-test-file.zip
Former biologist. Actual PhD in genetics. Security at https://aurora.tech, OS security teaching at https://www.ischool.berkeley.edu. Blog: https://mjg59.dreamwidth.org Signal: @mjg.59 He/him
@cassidoo.co
Making memes, dreams, & software! Sr. Director of Dev Advocacy at GitHub. Married to a dweeb and mom to a nerdy toddler + baby combo. She/Her ✝️ CHI 🏠 Subscribe to my newsletter! cassidoo.co/newsletter
@valeriadepaiva.bsky.social
Logician, category theorist, semanticist. Likes to understand life mathematically, please.
@edwin.type-driven.org.uk
Reader in Computer Science at the University of St Andrews. Will play ukulele for free, will stop for money. Cricket. Go. Woke Prick. He/him. Avatar by Joo (www.siajoohiang.com) https://www.type-driven.org.uk/edwinb/ https://www.lambda-miners.org.uk/
@aturon.bsky.social
Choosing love Buddhism, #rustlang, mental health / CPTSD, kids, photos, music, nerdy earnest wholesome vibes
@jeremykun.com
Portland-based mathematician and software engineer. Building a homomorphic encryption compiler at Google. https://jeremykun.com https://pimbook.org https://pmfpbook.org https://buttondown.email/j2kun https://heir.dev
@kerstingaiml.bsky.social
AI Prof at TU Darmstadt, Founding Co-Director Hessian.AI, DFKI, AAAI/EurAI/AAIA/ELLIS Fellow, AAAI24 Ass. PC CoChair, Fmr. PC CoChair UAI, ECML PKDD, Invest. @Aleph__Alpha, Fmr. AI Column German Newspaper Welt (am Sonntag)
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@ranzato.bsky.social
Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
@mrigger.bsky.social
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@tartanllama.xyz
"building a debugger" book out june 2025 ~ c++ developer advocate at microsoft ~ poet ~ film/noisemaker ~ mask enthusiast ~ they/them
@ogrisel.bsky.social
Software engineer at probabl, scikit-learn contributor. Also at: https://sigmoid.social/@ogrisel https://github.com/ogrisel
@gabrielpeyre.bsky.social
@moyix.net
AI researcher at XBOW, Associate Professor @ NYU Tandon (on leave). Security, RE, ML. PGP http://keybase.io/moyix/ Founder of the MESS Lab: http://messlab.moyix.net
@lcamtuf.coredump.cx
Substack: http://lcamtuf.substack.com/archive Homepage: http://lcamtuf.coredump.cx
@richinseattle.bsky.social
Fuzzing; Vulnerability Research; Deep Learning; Reverse Engineering Training & Publications @ http://fuzzing.io Hacking the planet since 1995 Undercurrents.io BOFH I'll stop the world and melt with you
@andreafioraldi.bsky.social
Cyber Response Italian Supercazzola Technology Officer at @mhackeroni Inc. Writing your favourite fuzz testing tools with @aflplusplus. Security research at .
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@davidpicard.bsky.social
Computer Vision/Machine Learning research Imagine/LIGM, École nationale des Ponts et Chaussées @ecoledesponts.bsky.social Music & overall happiness 🌳🪻 Born well below 350ppm 📍Paris 🔗 https://davidpicard.github.io/
@marcozzi.net
🇪🇺🇧🇪 Permanent researcher in cybersecurity (fuzzing). Works at CEA List Institute from Université Paris-Saclay (France). http://www.marcozzi.net I make software safer by viciously torturing it to reveal its flaws. I can be kind too.
@rao2z.bsky.social
AI researcher & teacher at SCAI, ASU. Former President of AAAI & Chair of AAAS Sec T. Here to tweach #AI. YouTube Ch: http://bit.ly/38twrAV Twitter: rao2z
@paolomorettin.bsky.social
Probabilistic + logical + algebraic reasoning/learning Assistant prof. @ University of Trento, Marie Skłodowska-Curie fellow https://paolomorettin.github.io/
@mniepert.bsky.social
Professor @ University of Stuttgart, Scientific Advisor @ NEC Labs, GraphML, geometric deep learning, ML for Science and Simulations. Formerly @IUBloomington and @uwcse
@loreloc.bsky.social
#probabilistic-ml #circuits #tensor-networks PhD student @ University of Edinburgh https://loreloc.github.io/
@e-giunchiglia.bsky.social
Assistant Professor at Imperial College London | EEE Department and I-X. Neuro-symbolic AI, Safe AI, Generative Models Previously: Post-doc at TU Wien, DPhil at the University of Oxford.
@skrub-data.bsky.social
skrub is a Python library to ease preprocessing and feature engineering for tabular machine learning. Our long-term goal is to directly connect database tables to machine learning estimators. https://skrub-data.org https://discord.gg/ABaPnm7fDC
@matplotlib.org
Python library for creating static, animated, & interactive visualizations. Chat w/ us @ https://discourse.matplotlib.org/ Sponsored by NumFocus