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
@dsi-vic.bsky.social
We are a gateway to Australia's defence science capability. With a deep network across Australia’s science and technology landscape, we help build defence science research networks, facilitate collaborations and assemble multi-disciplinary teams.
@drchrispaton.bsky.social
Digital health and informatics academic at the University of Oxford and University of Otago - interested in artificial intelligence, human-computer interaction and medical simulation. Editor in Chief, BMJ Digital Health & AI.
@shaananc.bsky.social
Computer Security, Privacy, and Public Policy. Deputy Head of Computing and Information Systems, University of Melbourne. Former Fellow for Sen. Ron Wyden. Likes teaching. Likes research. Likes Singing. https://cohney.info
@barik.net
I'm a Research Scientist exploring the intersection of human-computer interaction, machine learning, and programming languages. barik.net.
@bill-pugh.bsky.social
Retired Professor of computer science at UMD, and engineer at Apple on exposure notifications. Active maker, burner, traveler, husband, father.
@aumasson.jp
https://aumasson.jp cofounder & CSO @ taurushq.com cryptographer (BLAKE2, BLAKE3, SipHash) author of Serious Cryptography https://nostarch.com/serious-cryptography-2nd-edition and other books Signal: jpa.01
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@molly.wiki
independent writer of citationneeded.news and @web3isgoinggreat.com • tech researcher and cryptocurrency industry critic • software engineer • wikipedian support my work: citationneeded.news/signup links: mollywhite.net/linktree
@matteomaffei.bsky.social
Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
@borzoo.bsky.social
Associate Professor of Computer Science at Michigan State University
@nikolajbjorner.bsky.social
@ngmarchant.net
Research Fellow working on security and privacy of AI at the University of Melbourne, Australia.
@rahul.gopinath.org
Lecturer at the University of Sydney, Australia. ശ്രീദേവി's Dad. I work in the junction between SE and CySec. Interested in Program Analysis, Mutation Analysis, Repair, Grammar Inference, Generation and Parsing https://rahul.gopinath.org
@vellosoraptor.bsky.social
Professor of Computer Science (Human-Computer Interaction) @ The University of Sydney. Immersive systems, Human-AI interaction, HCI methodology
@stein.ke
Computer science, math, machine learning, (differential) privacy Researcher at Google DeepMind Kiwi🇳🇿 in California🇺🇸 http://stein.ke/
@ghadfield.bsky.social
Economist and legal scholar turned AI researcher focused on AI alignment and governance. Prof of government and policy and computer science at Johns Hopkins where I run the Normativity Lab. Recruiting CS postdocs and PhD students. gillianhadfield.org
@mlbowers.bsky.social
PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
@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
@ericeide.bsky.social
Research Associate Professor, University of Utah Kahlert School of Computing • Personal account • Opinions my own, not employer's • RTs not endorsements
@howard.fm
https://Answer.AI & https://fast.ai founding CEO; previous: hon professor @ UQ; leader of masks4all; founding CEO Enlitic; founding president Kaggle; various other stuff…
@jkinder.bsky.social
Professor @ LMU Munich Security, Program Analysis, Machine Learning
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@neuralnoise.com
Researcher in ML/NLP at the University of Edinburgh (faculty at Informatics and EdinburghNLP), Co-Founder/CTO at www.miniml.ai, ELLIS (@ELLIS.eu) Scholar, Generative AI Lab (GAIL, https://gail.ed.ac.uk/) Fellow -- www.neuralnoise.com, he/they
@cledmonds.bsky.social
Research Associate @sheffielduni.bsky.social working on proof assistants, formal verification & security. Passionate about CS Education. Cambridge Australia Scholar, PhD, AFHEA.
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@casillic.bsky.social
Critical Infrastructure, High Consequence / High Integrity Systems, Space, Nuclear, Mathematics, Public Health, HPC
@adrianherrera.bsky.social
Security researcher with a penchant for programming language theory. Building fuzzers @interruptlabs.bsky.social. https://adrianherrera.github.io/
@barryjay.bsky.social
A retired prof who tries to get some research in before cycling with the bunch at dawn. I like my work to surprise people, but am now so radical that few believe me, even though all theorems in my second book “Tree Calculus” are formally verified.
@pigworker.bsky.social
they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi
@steven.murdoch.is
Professor of Security Engineering; Head of UCL Information Security Research Group @sec.cs.ucl.ac.uk; Director Open Rights Group. 🐘 https://mastodon.social/@sjmurdoch 🐦 @sjmurdoch 🌍 https://murdoch.is/
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
@katebower.bsky.social
Consumer and digital rights advocate | Privacy | Data Rights | Fair and safe AI Melbourne, 🇦🇺
@florasalim.bsky.social
Professor, CSE, UNSW Sydney. #AI #ML #UbiComp #LLM #MFM #timeseries #ST #multimodal #sensors #continuallearning #trustworthyAI ❤️ #coffee Why am I here? Scouting for a new platform to discover and learn new papers (let’s see if it’s the one)
@azeria-labs.com
Founder of Azeria Labs, Trainer, Author of Blue Fox: Arm Assembly Internals & Reverse Engineering