Assistant Professor at the Department of Computer Science, University of Liverpool.
https://lutzoe.github.io/
Associate Professor at BU. Cybersecurity and Cybersafety. Come for the memes, stay for the science. Skeets are my own
Climber 🇪🇬 |Chief AI Scientist at @ainowinstitute.bsky.social | Safety engineer (nuclear, software & AI/ML).
|x- Trail of Bits, Zipline, OpenAI, Adelard, MSFTResearch
https://www.heidyk.com/
galois.com
For nearly 25 years, Galois has combined mathematical rigor with curious creativity to cut through complexity and guarantee trustworthiness in the world’s most critical systems.
The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
Compte non officiel du RER B, ce robot reprend automatiquement les tweets du compte officiel @RERB sur X (Twitter)
(si vous représentez la RATP/SNCF/IDFM et souhaitez voir ce compte supprimé, envoyez un DM !)
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
IGÉSR groupes mathématiques et informatique
Pro Bowl long napper. Don't let your children grow up to be refs. I own the Green Bay Packers. They own the Chicago Bears
I work on Programming Languages at Microsoft Research
#rustlang, #jj-vcs, atproto, shitposts, urbanism. I contain multitudes.
Working on #ruelang but just for fun.
Currently in Austin, TX, but from Pittsburgh. Previously in Bushwick, the Mission, LA.
Mom, foodie, traveller, computer scientist
extremely dubious of "everything is public" social network
Assistant Professor @ Eurecom. I'm interested in formal methods for low-level security. https://leslyann-daniel.fr
Computer scientist at Imperial College London, specialising in programming languages, software testing, and formal verification. Leader of FastPL group: https://fastpl.doc.ic.ac.uk
ML/AI researcher & former stats professor turned LLM research engineer. Author of "Build a Large Language Model From Scratch" (https://amzn.to/4fqvn0D). Blogging about AI research at magazine.sebastianraschka.com.
I talk about Rust, verification, cryptography, programming languages… and pets
« artificia docuit fames »
📖 deep learning, reasoning
🧪 drug design @Mila_Quebec
🏛️ AI grad @UniTrento
halixness.github.io
