Computer scientist at CISPA. Formal methods, security, cyber-physical systems, and theory of computation. www.berndfinkbeiner.de
@elsa-ai.bsky.social
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.
@misc0110.bsky.social
InfoSec Faculty @ #CISPA. Side-channel attacks. Exploiting microarchitectures. Discovering CPU vulnerabilities.
@maximiliangolla.com
🧑🔬 @cispa.de ❤️ Usable Security and Privacy 🔑 Passwords and User Authentication 🕵️ Transparency and Privacy Controls
@yangzhangalmo.bsky.social
Tenured faculty at CISPA, working on trustworthy AI and memes. https://yangzhangalmo.github.io/
@niklasmetzger.bsky.social
@helmholtzai.bsky.social
𝗔𝗰𝗰𝗲𝗹𝗲𝗿𝗮𝘁𝗲 𝘆𝗼𝘂𝗿 𝗿𝗲𝘀𝗲𝗮𝗿𝗰𝗵. Research-driven hub for applied #AI & #ML - democratising AI across the Helmholtz Association. www.helmholtz.ai
@franziroesner.bsky.social
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
@krikamol.bsky.social
Chief Scientist/Faculty at Rational Intelligence Lab @CISPA; Chief Research Officer (CRO) @ http://Cifer.AI; Previously @MPI_IS, @MahidolU, @uclcs, @GatsbyUCL.
@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/
@svebug.bsky.social
Tenured Faculty at the CISPA Helmholtz Center for Information Security | https://svenbugiel.de/
@alixabbasi.bsky.social
Faculty at @CISPA. Research on embedded systems security. Mastodon: AliAbbasi@infosec.exchange
@eziobartocci.bsky.social
Prof. @ TU Wien, Cyber-Physical Systems, Chair of TrustACPS Doctoral College
@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
@borzoo.bsky.social
Associate Professor of Computer Science at Michigan State University
@jkinder.bsky.social
Professor @ LMU Munich Security, Program Analysis, Machine Learning
@adbrucker.bsky.social
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
@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.
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@ingmarweber.de
Alexander von Humboldt Professor for AI and Chair for Societal Computing at Saarland University. Co-Director at https://i2sc.net.
@aliabcsh.bsky.social
@linuzifer.bsky.social
Ein Teil von jener Kraft, die stets das Böse will und stets das Gute schafft. @linuzifer@23.social http://linus-neumann.de
@henningmeyer.bsky.social
Hon. Professor of Public Policy & Business at Eberhard Karls University Tübingen | Research Associate at Cambridge University’s Center for Business Research | CEO Social Europe Publishing & Consulting. https://henningmeyer.com
@dringendres.bsky.social
Nerd, Parent, Asimov Collector; on screen: "Dr. Security - Ein Mann wie eine Firewall" irl: managing director of sequire technology (http://sequire.de) Born at 328ppm.
@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/
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
@benstock.bsky.social
Tenured Faculty @c-i-s-p-a.bsky.social Helmholtz Center for Information Security