Manuel Rigger
Assistant Professor at the National University of Singapore, leading the Trustworthy Engineering of Software Technologies lab (https://nus-test.github.io/). We focus on improving data-centric systems, particularly their reliability.
@preethac.bsky.social
Asst. Prof. Drexel Dept. Of Computer Science @drexeluniv | Research on mining software repositories, empirical software engineering https://preethac.github.io/
@caterinaurban.bsky.social
@umathur.bsky.social
Presidential Young Professor at the National University of Singapore. https://www.comp.nus.edu.sg/~umathur/
@ayushirastogi.bsky.social
Software engineering research | Assistant Professor at University of Groningen
@sbaltes.bsky.social
Software Engineering • Empirical Research • Interdisciplinarity https://empirical-software.engineering
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@malyzajko.bsky.social
Assoc. prof. at Uppsala University, working in programming languages and verification
@solalpirelli.bsky.social
Automated software verification, scientific integrity, and random rants. Previously: PhD at EPFL.
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@ltratt.bsky.social
Shopify / Royal Academy of Engineering Research Chair in Language Engineering. https://tratt.net/laurie/
@neurocy.bsky.social
🌱 ruining programming forever @ hazel.org 🌱 professoring @ Michigan 🌱 poetry 🌱 dendrites 🌱 immersion 🌱 flowers 🌱 resisting idiocracy https://web.eecs.umich.edu/~comar
@justinesherry.bsky.social
I'm a member of the imperial senate on a diplomatic mision to Alderaan. Computer networking professor. 🇺🇲❤️🇵🇹, she/her, Dr. Sherry, Mamã, working at AS8! www.justinesherry.com
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@sdumbrava.bsky.social
@hannes.muehleisen.org
I like databases and boats. Co-creator of @duckdb.org, Co-Founder and CEO DuckDB Labs. Professor of Data Engineering at Radboud Universiteit.
@katjahose.bsky.social
Professor at TU Wien (Austria); research on #dataManagement and #queryOptimization with a focus on #graphs and #knowledgeGraphs https://www.dbai.tuwien.ac.at/staff/khose
@sigmod2025.bsky.social
2025 ACM SIGMOD/PODS International Conference on Management of Data.
@matthiasboehm7.bsky.social
Prof at TU Berlin and BIFOLD; research on ML systems and data management. mboehm7.github.io
@peterabcz.bsky.social
Professor Analytical Data Systems @cwi_da and @VUamsterdam. researcher, systems architect, educator, entrepreneur
@eredmil1.bsky.social
Faculty @Georgetown, Faculty Associate @BKCHarvard Digital security, "AI", safety, privacy, S*x W*rk Prev @MSFTresearch @Meta @umdcs @nsfgrfp @datascifellows
@lindorfer.in
Associate Professor Security & Privacy @ TU Wien. Key Researcher @ SBA Research (she/her). Avid Snacker. Professional Traveller. Mainly Lurker. 🖤 🦖🦙🐈🐶🦝📸🧩✈️🧟♀️
@krismicinski.bsky.social
kmicinski.com Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
@jonathanaldrich.bsky.social
Professor at Carnegie Mellon University, working on programming languages and software engineering. ACM Publications Board member. Husband, dad. Black & Trans Lives Matter. Views are my own. He/him.
@tobycmurray.bsky.social
Professor at University of Melbourne and School of Computing and Information Systems cyber lead; Director @dsi-vic.bsky.social; Oxford DPhil (@compscioxford.bsky.social; @hertfordcollege.bsky.social). Cyber, verification, etc. He/him
@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/
@heathermiller.bsky.social
Professing computery things at CMU, doing science at Two Sigma. Co-founder & former Executive Director of the Scala Center at EPFL. Past life: artist @ Cooper Union
@amyko.phd
Professor @ University of Washington iSchool. Computing, learning, design, justice, kitties, tacos, coffee, gender, politics, and transit. I write at amyjko.medium.com. For fun, I maintain wordplay.dev, bookish.press, adminima.app, reciprocal.reviews.
@ovahldy.bsky.social
Researcher @Intel Labs & adjunct lecturer @TUM DSE, working in Berlin, @mpi_sws/@SIC_saar alumnus
@apf.bsky.social
I like writing silly skeets, but that doesn't pay so I also make Google Chrome. mamá, Eng Director, volunteer at Second Harvest. 🇺🇲🇨🇷 Twitter: @__apf__
@adrianherrera.bsky.social
Security researcher with a penchant for programming language theory. Building fuzzers @interruptlabs.bsky.social. https://adrianherrera.github.io/
@leo-lambro.bsky.social
Assistant Professor at UMD. Property Based Testing, Formal Verification, and everything QuickChick.
@wicko3.bsky.social
Senior Lecturer at Imperial College EEE researching programming languages and hardware design.
@matteomaffei.bsky.social
Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
@gruss.cc
Aka @lavados #InfoSec University Professor @ #TUGraz. #meltdown, #spectre, #rowhammer, cache attacks, sustainable security. Produced a side channel security sitcom. https://gruss.cc https://x.com/lavados https://infosec.exchange/@lavados
@emeryberger.bsky.social
Professor, Computer Science, UMass; Amazon Scholar. I work on programming languages & systems, among other things. http://PLASMA-UMass.org, http://github.com/plasma-umass, http://CSrankings.org, http://github.com/emeryberger. ACM Fellow.
@thenzinger.bsky.social
Computer scientist @istaresearch.bsky.social @forwit.at @erc.europa.eu @nasonline.org @royalsociety.org @leopoldina.org @oeaw.bsky.social @acad-euro.bsky.social
@aldlatour.bsky.social
Computer Scientist. Assistant professor interested in Boolean satisfiability, counting, reasoning under uncertainty, formal verification. Feminist. Trekkie. Traveller. Go-to LaTeX expert in our research group.
@coolsweng.bsky.social
Professor of software engineering at AUEB and software analytics at TU Delft, programmer, technology author. https://www.spinellis.gr/ (Tech tweets here. Follow @DSpinellis for Greek/Greece tweets.)