ELSA is a growing Network of Excellence that spearheads efforts in foundational safe and secure AI methodology research. elsa-ai.eu Funded by the European Union.

InfoSec Faculty @ #CISPA. Side-channel attacks. Exploiting microarchitectures. Discovering CPU vulnerabilities.

🧑‍🔬 @cispa.de ❤️ Usable Security and Privacy 🔑 Passwords and User Authentication 🕵️ Transparency and Privacy Controls

Tenured faculty at CISPA, working on trustworthy AI and memes. https://yangzhangalmo.github.io/

𝗔𝗰𝗰𝗲𝗹𝗲𝗿𝗮𝘁𝗲 𝘆𝗼𝘂𝗿 𝗿𝗲𝘀𝗲𝗮𝗿𝗰𝗵. Research-driven hub for applied #AI & #ML - democratising AI across the Helmholtz Association. www.helmholtz.ai

Professor (computer security and privacy, broadly construed) in the Allen School of CSE at the University of Washington. Also spend my time on parenting, reading, exercising, and writing poetry. She/her. https://www.franziroesner.com

Chief Scientist/Faculty at Rational Intelligence Lab @CISPA; Chief Research Officer (CRO) @ http://Cifer.AI; Previously @MPI_IS, @MahidolU, @uclcs, @GatsbyUCL.

New blue sky. Same old troll.

Asst. Professor of Computer Science at Wellesley. Cornell PhD. Compilers, systems programming languages, lightweight formal methods. she/her. https://cs.wellesley.edu/~avh/

Faculty@CISPA; Empirical Security

Tenured Faculty at the CISPA Helmholtz Center for Information Security | https://svenbugiel.de/

Faculty at @CISPA. Research on embedded systems security. Mastodon: AliAbbasi@infosec.exchange

Prof. @ TU Wien, Cyber-Physical Systems, Chair of TrustACPS Doctoral College

Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net

Professor of Computer Science https://www.se.cs.uni-saarland.de/apel/

Associate Professor of Computer Science at Michigan State University

Professor @ LMU Munich Security, Program Analysis, Machine Learning

Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org

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.