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.
@albertzhangtj.bsky.social
NUS CS Undergrad '25, Member of the NUS Trustworthy Engineering of Software Technologies Lab (https://nus-test.github.io/), Fuzzing, Software-Defined Networks Personal website: albertzhangtj.at
@ojcchar.bsky.social
Assistant Professor at Willliam & Mary, teaching and conducting research in Software Engineering.
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@lin-tan.bsky.social
Elmore New Frontiers Professor @PurdueCS | Ex @Meta @UWaterloo @IllinoisCDS @MSFTResearch @IBMResearch | #SE #TextAnalytics #LLM4Code #AI #Security https://www.cs.purdue.edu/homes/lintan/
@abhikrc.bsky.social
Professor of Computer Science at National University of Singapore https://abhikrc.com
@satnam6502.bsky.social
Punjabi-Scottish-American husband and father of two, Haskell hacker at Groq, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx, Glasgow} living in Los Altos, California http://satnam.raintown.org
@dominikwinterer.bsky.social
Incoming Lecturer (Assistant Professor) at The University of Manchester 👩🎓👨🎓 Looking for PhD students! Formal Methods Engineering Lab: https://manchester-fme.github.io
@margoseltzer.bsky.social
@andwor.bsky.social
Prof. Software Engineering | University of Stuttgart, ISW | Editor at SoSyM & JoT | EAPLS | www.wortmann.ac
@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/
@jqchen.bsky.social
@sbrunthaler.bsky.social
Language-based security is the continuation of compiler construction by other means. PLs, pretty much all things compilers. (Just a blackboard from systems programming 101. Is it tacky? 100pct yes; but then again, did you *really* come for nice pictures?)
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@pinhanzhao.com
PhD Student @ UMich. Programming Languages and Automated Reasoning. pinhanzhao.com
@xexd.bsky.social
@arpanbg.bsky.social
Assistant Professor at @csubc.bsky.social | Formerly at #MPI-SWS Germany, #BITS-Pilani India | arpangujarati.github.io
@hauswirth.bsky.social
Associate Professor at USI in Lugano, Switzerland. Working at the intersection of Programming Languages and Computing Education.
@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
@elenitz.bsky.social
Assistant Professor and Head of the "Spatial Analytics and Large-Scale Data Processing" group at the Hasso Plattner Institute (@hpi.bsky.social). Previously at ITU Copenhagen, TU Berlin, and EPFL (PhD). https://heltzi.github.io
@markraasveldt.bsky.social
@teggy.org
Professor — like database systems, programming languages, and SC Freiburg ツ
@marcusparadies.bsky.social
Prof. for database systems @LMU. Interested in database systems and modern storage technologies.
@rg9119.bsky.social
Transmogrifying coffee into LaTex, but now more grumpy and slow about it. University of British Columbia Computer Science
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@jcamachor09.bsky.social
Data systems research and engineering at Microsoft. PMC for Apache Calcite and Hive. Member of the ASF
@cestlemieux.bsky.social
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.
@joomy.bsky.social
researcher at Bloomberg. somehow a computer doctor. posts about functional programming, dependent types, metaprogramming, linguistics, and Turkey. 🐦: http://twitter.com/joomy 🕸️: http://joomy.korkutblech.com
@michioh.bsky.social
Associate professor (Reader) at Edinburgh, Informatics. Networking & systems research. Ex-NetApp. Foodie. Dad. 🏴🇬🇧←🇩🇪←🇯🇵 https://micchie.net
@jfumero.bsky.social
Research Fellow - University of Manchester - #Java #GPUs #Compilers #ParallelProgramming - #TornadoVM team. 🔗 https://jjfumero.github.io/
@eregon.bsky.social
Rubyist, Researcher at Oracle Labs, part of the @GraalVM team, TruffleRuby lead. Expressed opinions are my own.
@chumer.dev
Working on Truffle/GraalVM at Oracle Labs. ME/CFS Caretaker and Activist (https://ooe-mecfs.at). Austrian expat in Zurich. https://chumer.dev
@gillesduboscq.bsky.social