@gianlucastringhini.com
Associate Professor at BU. Cybersecurity and Cybersafety. Come for the memes, stay for the science. Skeets are my own
@rieck.mlsec.org
Machine Learning and Security, Professor of Computer Science at TU Berlin,
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
@mmbronstein.bsky.social
DeepMind Professor of AI @Oxford Scientific Director @Aithyra Chief Scientist @VantAI ML Lead @ProjectCETI geometric deep learning, graph neural networks, generative models, molecular design, proteins, bio AI, 🐎 🎶
@ercgrantees.bsky.social
The Association of ERC Grantees is a non-profit international organization aiming to connect ERC Grantees and to advocate the importance of fundamental research https://aerg.eu/
@yoshuabengio.bsky.social
Full professor at UdeM, Founder and Scientific Advisor at Mila - Quebec AI Institute, A.M. Turing Award Recipient. Working towards the safe development of AI for the benefit of all. Website and blog: https://yoshuabengio.org/
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@jameslarus.bsky.social
Retired EPFL CS professor/dean. Retired Microsoft researcher/manager. Time to do something new….
@jocare.bsky.social
Senior Lecturer (Associate Professor) in @uofgcompsci.bsky.social at @uofglasgow.bsky.social | Leads @giclab.bsky.social | #ComputerArchitecture #Compilers #EdgeAI #Security https://www.dcs.gla.ac.uk/~josecr/
@shwetashinde.bsky.social
Assistant Professor at ETH Zurich, Security Researcher. shwetashinde.org
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@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
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@asbradbury.org
Compilers at Igalia. @llvmweekly.org author. Mostly RISC-V, LLVM, and a little WebAssembly. Previously lowRISC CTO and co-founder. Blogs at https://muxup.com
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
@benhermann.eu
Professor for Secure Software Engineering at TU Dortmund 🏳️🌈💻🎓 https://benhermann.eu https://sse.cs.tu-dortmund.de
@jkinder.bsky.social
Professor @ LMU Munich Security, Program Analysis, Machine Learning
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@someshjha.bsky.social
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.
@nacrooks.bsky.social
CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
@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
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
@thenzinger.bsky.social
Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social
@emeryberger.bsky.social
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.
@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
@matteomaffei.bsky.social
Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
@ovahldy.bsky.social
Researcher @Intel Labs & adjunct lecturer @TUM DSE, working in Berlin, @mpi_sws/@SIC_saar alumnus
@peterabcz.bsky.social
Professor Analytical Data Systems @cwi_da and @VUamsterdam. researcher, systems architect, educator, entrepreneur
@justinesherry.bsky.social
I'm a member of the imperial senate on a diplomatic mision to Alderaan. Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8! www.justinesherry.com
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@solalpirelli.bsky.social
Automated software verification, scientific integrity, and random rants. Previously: PhD at EPFL.