Toby Murray
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
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@taliaringer.bsky.social
@olgs7.bsky.social
Director, Emerging Tech Initiative at SAIS; Professor at the Alperovitch Institute on disinformation/influence ops. SAIS & BU alum. Former IO Policy Lead at Meta, former journalist at Atlantic Media.
@kevincollier.bsky.social
I cover digital threats for NBC News. Tip me! @kevincollier.01 on signal, [email protected]. NYC, from West Virginia.
@jcenzo.bsky.social
Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@chrisposkitt.bsky.social
Associate Professor (Education) at SMU, Singapore. Software engineering, testing, and computing education. https://cposkitt.github.io/
@aslanix.bsky.social
@caterinaurban.bsky.social
@josepablocam.bsky.social
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
@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
@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/
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @[email protected]
@shwestrick.bsky.social
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl) https://cs.nyu.edu/~shw8119/
@stefan-marr.de
Researcher, Senior Lecturer. Working on interpreters, compilation, concurrency, and debugging tools.
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@davidjustodavid.bsky.social
PL fool and DB theory nerd. Working on the C++ Address Sanitizer for Windows these days (dynamic analysis for memory safety), still a Durable Functions nerd.
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@avh.bsky.social
Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her. https://cs.wellesley.edu/~avh/
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@mpmilano.bsky.social
Computer Science professor at Princeton. Loves all things programming languages and distributed systems. Including YOU! https://languagesforsyste.ms
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@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.
@kmett.ai
Founder/Chief Scientist @ positron.ai I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason http://calendly.com/ekmett http://github.com/ekmett http://x.com/kmett http://comonad.com/reader
@bloody-tangerine.bsky.social
Researcher at CNRS. Feminist. I work on microarchitectural security. https://cmaurice.fr
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@karinv.bsky.social
Dean, School of Computing, RMIT University in Melbourne, Australia. Professor, FTSE FAIDH. Artificial intelligence in medicine, natural language processing #NLProc, #bioNLP, literature mining, digital health, computational biology, and more geeky science.
@sectalksmel.bsky.social
SecTalks is a non-profit session for technical security talks, and hands-on security challenges! A forum to learn & discuss technical (in)security stuff. https://www.sectalks.org/melbourne/
@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
@arc-tracker.bsky.social
Part human, part bot, 100% UNOFFICIAL. I track Australian Research Council grant outcomes. Bot checks outcomes announcements each min. DMs open. FAQ: https://tinyurl.com/ARC-Tracker-FAQ
@benstock.bsky.social
Tenured Faculty @c-i-s-p-a.bsky.social Helmholtz Center for Information Security
@mattblaze.org
Scientist, safecracker, etc. McDevitt Professor of Computer Science and Law at Georgetown. So-called expert on election security and a few other things. Slow photographer. RF nerd. Occasionally blogs at https://mattblaze.org/blog
@zey.bsky.social
It is said that there may be seeming disorder and yet no real disorder at all
@eredmil1.bsky.social
Faculty @Georgetown, Faculty Associate @BKCHarvard Digital security, "AI", safety, privacy, S*x W*rk Prev @MSFTresearch @Meta @umdcs @nsfgrfp @datascifellows
@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/
@rgblights.bsky.social
Cyber guy. Former NSA cybersecurity director and chief of TAO. Lover of memes. Warning - occasional outrageous Christmas light content.