Caroline Lemieux
now: Assistant Professing™ in Software Practices Lab at UBC. was: postdoc MSR NYC, phd UC Berkeley. also at https://mastodon.acm.org/@cestlemieux. she/her.
@gabriel-sherman.bsky.social
Ph.D. Student at the University of Utah | Computer Security https://gabe-sherman.github.io/
@vwuestholz.bsky.social
Principal Researcher at Consensys Diligence, previously at ETH Zürich, UT Austin, Microsoft Research, and Google
@marcozzi.net
🇪🇺🇧🇪 Permanent researcher in cybersecurity (fuzzing). Works at CEA List Institute from Université Paris-Saclay (France). http://www.marcozzi.net I make software safer by viciously torturing it to reveal its flaws. I can be kind too.
@snagycs.bsky.social
Faculty @utah.edu. My lab hunts bugs: https://futures.cs.utah.edu/bugs. Mastodon: [email protected] Twitter: @snagycs
@joshua-garcia-swe.bsky.social
Assistant Professor at UC Irvine (UCI) researching software testing, especially for autonomous driving; software security; and software architecture. Any views or opinions expressed are solely those of my own and not UCI or its academic campus units.
@cs.ubc.ca
A leading academic computer science department in Vancouver, B.C. Canada.
@joannacss.bsky.social
Assistant Professor at University of Notre Dame. Main Research Areas: Software Engineering, Security, Program Analysis.
@vaastav.bsky.social
http://www.vaastavanand.com PhD student at Max Planck Institute for Software Systems
@nickspoon.bsky.social
Assistant Professor at Cornell. CS theory, cryptography, quantum computing. he/him
@nacrooks.bsky.social
CS prof at UC Berkeley. Distributed Systems and Databases. Baking, handball and football enthusiast. Avid cheese eater.
@vivek-bharadwaj.com
Graduate Student, UC Berkeley | HPC and Parallel Computing | Details at vivek-bharadwaj.com
@gabritto.bsky.social
software engineer @typescritlang.org, master's student @ University of British Columbia.
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈 https://ionathan.ch
@pdarragh.bsky.social
he/him/his. PhD student in computer science at UMD known for bad food takes. CS interests in PL, CS Ed, SE, and HCI. Mastodon: https://types.pl/@pdarragh
@abhikrc.bsky.social
Professor of Computer Science at National University of Singapore https://abhikrc.com
@mrphrazer.bsky.social
Binary Security Researcher, Chief Scientist at http://emproof.com and Trainer. Website: https://synthesis.to
@guyvdb.bsky.social
🎓 CS Prof at UCLA 🧠 Researching reasoning and learning in artificial intelligence: tactable deep generative models, probabilistic circuits, probabilistic programming, neurosymbolic AI https://web.cs.ucla.edu/~guyvdb/
@zihaohuang.bsky.social
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@dominikwinterer.bsky.social
Incoming Lecturer (Assistant Professor) at The University of Manchester | Making Formal Methods better and more practical
@joshsunshine.bsky.social
Assistant Professor at Carnegie Mellon. I help people understand the software they create.
@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/
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@daviddarais.bsky.social
Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @[email protected]
@josepablocam.bsky.social
DevAI @google, working on PL/SE+ ML. CS PhD (@MIT_CSAIL) 🇨🇷 in ATL. www.josecambronero.com
@eskang.bsky.social
Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
@mhlakhani.bsky.social
I try to learn everything. Views hopefully my own. Nerd (PL, Rust, security, AI, systems, …). Leftist. Covid conscious. AuDHD (probably). YIMBY. Free Palestine.
@carlbergstrom.com
UW biology prof. I study how information flows in biology, science, and society. Book: *Calling Bullshit*, http://tinyurl.com/fdcuvd7b LLM course: https://thebullshitmachines.com Corvids: https://tinyurl.com/mr2n5ymk I don't like fascists. he/him
@gofraser.bsky.social
@xdevroey.bsky.social
Prof. of software engineering and testing at the University of Namur, Belgium. Check our teamwork at https://snail.info.unamur.be 🇧🇪👨💻🏳️🌈
@aasthakm.bsky.social
Assistant Professor, UBC CS, http://aasthakm.github.io | Past associations MPI-SWS, NetApp, BITS Pilani.
@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
@arpanbg.bsky.social
Assistant Professor at @csubc.bsky.social | Formerly at #MPI-SWS Germany, #BITS-Pilani India | arpangujarati.github.io
@daye-nam.bsky.social
@vasilescu.bsky.social
I shorten academic research papers to fit in 10 pages for a living, at CMU. https://www.instagram.com/count_scratchula http://bvasiles.github.io