Lorenzo De Carli
Assistant professor @UCalgary, Dept of Electrical & SW Engineering. Network/SW/usable security.
@dianebovenkamp.bsky.social
VP Scientific Affairs www.BrightFocus.org, President of www.BaltimoreCameraClub.org, scientist (biochemistry, cancer, cardiovascular, Alzheimer’s, glaucoma, AMD), photographer, Canada, Queen’s U, Harvard/Boston Children’s Hospital, Johns Hopkins
@panggi.com
Head of Engineering at sqe.co.id - FOSS: github.com/panggi - AI models: hf.co/panggi
@klaszus.bsky.social
Founder and editor of @sprawlcalgary.bsky.social. Publishing slow news for curious Calgarians. Subscribe to Sprawlcast wherever you listen to podcasts! sprawlcalgary.com
@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
@wendigotypes.bsky.social
theoretical computer sorcery and theorem potions · she/they/e wendigotyp.es
@vkemerlis.bsky.social
Professor @Brown CS. Brown Hat. Research on systems and software security. 🏴☠️🇬🇷🇺🇸 https://cs.brown.edu/~vpk
@atrox.at
Security, privacy, cellular, living in clouds; night-owl; PostDoc CISPA; former UCI, SBA, TU Wien, iSeclab. My own opinions. May contain sarcasm.
@laurenceai.bsky.social
Lecturer at the University of Bristol. probabilistic ML, optimisation, interpretability, LLM evals.
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@mrschom.bsky.social
Computer Science / DT teacher, Girls Programming Network leader, ACS Advisory Board, badge & cert addict, ex-roller derby player, ASD, Lawful Good. Whadjuk Noongar Country (Perth) *views are my own*
@govcraft.ai
Founder @ Govcraft | ex-Principal AWS, Microsoft, Accenture | 30 yrs of nerd cred | 🧠 Learning Machine | 🌮 Enthusiast | Husband, Dad, Cat Whisperer | Thinking of adopting Rust? Check out "Rust for Tech Leaders": https://govcft.link/rustftl
@pvadrevu.bsky.social
Faculty member at LSU. Research interests in web security. https://www.phanivadrevu.com/
@voughtinti.bsky.social
Vought International is a global leader in the media, retail, energy, and pharmaceutical sectors. We are here for you! http://voughtinternational.com
@shrirambalaji.com
engineering at @microsoft.com • tinkering with systems languages, databases and things on the web • musings at http://blog.shrirambalaji.com
@jasonglover.bsky.social
#AI | #DigitalMarketing | #B2B Senior Digital Marketing Manager. Science fiction and video game nerd. Father to young Padawan.
@adrianasejfia.bsky.social
Assistant Professor in Software Engineering at the University of Edinburgh. CS PhD from University of Southern California. She/her. 👩🏻💻 asejfia.github.io
@vanhoefm.bsky.social
Prof. @KU_Leuven | krackattacks.com & fragattacks.com | Open to consultancy | Ex-Postdoc NYU | Network Security & Crypto
@zakird.com
Internet Security, Trust, and Safety Researcher. Stanford CS Faculty, Censys Founder and Chief Scientist, ZMap Creator. https://zakird.com/
@albertodainotti.bsky.social
Associate Professor @ Georgia Tech working on Internet monitoring and security. He/him. Director of https://inetintel.org Father of https://ioda.live — Bsky: @ioda.live http://mastodon.online/@dainotti
@mboehme.bsky.social
Software Security @MPI, PhD @NUS, Dipl.-Inf. @TUDresden. Research Group: http://mpi-softsec.github.io
@ryanmarc.us
Assistant professor at UPenn. Database systems. https://RyanMarc.us I'm mostly on Mastodon, https://discuss.systems/@ryanmarcus
@teuber.bsky.social
Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification) Currently migrating from Twitter (@teuber_dev) www.teuber.dev
@moyix.net
AI researcher at XBOW, Associate Professor @ NYU Tandon (on leave). Security, RE, ML. PGP http://keybase.io/moyix/ Founder of the MESS Lab: http://messlab.moyix.net
@gconstantinides.bsky.social
Prof Digital Computation @imperialcollege, Director of the Early Career Researcher Institute. Vice Chair @iclmathsschool. Views own. http://constantinides.net.
@ccanonne.bsky.social
Senior Lecturer #USydCompSci at the University of Sydney. Postdocs IBM Research and Stanford; PhD at Columbia. Converts ☕ into puns: sometimes theorems. He/him.
@mrdrozdov.com
Research Scientist @ Mosaic x Databricks. Adaptive Methods for Retrieval, Generation, NLP, AI, LLMs https://mrdrozdov.github.io/
@xmal.bsky.social
Professor at FEUP University of Porto and researcher at INESC TEC. Distributed Systems and Data. Co-creator of CRDTs. Founder eurotux.com. Still searching for unknown unknowns. (🦋 July 2023) Web: https://cbaquero.github.io/web/
@sunitachandra.bsky.social
HPC lover, Assoc. Prof. @UDEL. We are a cool bunch https://crpl.cis.udel.edu/ Co-Director UD AI Center of Excellence (AICOE) https://sites.udel.edu/ai/ Leading an NSF DA#RSE project https://sites.udel.edu/darse/ HIRING #RSE https://careers.udel.edu/cw/en
@taliaringer.bsky.social
@georgemporter.bsky.social
UC San Diego professor, building networks that enable high-performance, scalable, and sustainable computer systems. https://www.cs.ucsd.edu/~gmporter
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
@jlanday.bsky.social
Professor of Computer Science, Stanford - HCI & Design, Co-Founder & Co-Director Stanford HAI @stanfordhai.bsky.social
@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/
@roydanroy.bsky.social
Research Director, Founding Faculty, Canada CIFAR AI Chair @VectorInst. Full Prof @UofT - Statistics and Computer Sci. (x-appt) danroy.org I study assumption-free prediction and decision making under uncertainty, with inference emerging from optimality.
@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