apanda
I am A Panda. I work on systems and networking at NYU.
I mostly hang out at https://discuss.systems/@apanda
@gazagnaire.org
#ocaml #mirageOS - CEO of @tarides.com - CTO of https://parsimoni.co ex Docker, Unikernel Systems, Citrix DMs open for collaboration on OCaml, Irmin or MirageOS projects!
@icgog.bsky.social
@rn212.bsky.social
@microkerneldude.bsky.social
Physicist by training, computer engineer by passion Scientia (distinguished) Professor and John Lions Chair of Operating Systems at UNSW Sydney and Founding Chairman of the seL4 Foundation FACM FIEEE FTSE FRSN ML
@kcsrk.info
Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic kcsrk.info
@vaastav.bsky.social
http://www.vaastavanand.com PhD student at Max Planck Institute for Software Systems
@ajsangeetha.bsky.social
Assistant Professor, Computer Science at UC Irvine https://ics.uci.edu/~sabdujyo/
@nsastry.bsky.social
networksy person who likes to measure things. Current interests: privacy, online harms, all 'thinks' Starlink et content delivery.
@frankq1024.bsky.social
Purdue Ph.D. student, networking system & ML-sys. frankq1024.github.io
@n4noa.bsky.social
Research, Computer, Science and Fiction. Choose a permutation. https://eng.ox.ac.uk/people/noa-zilberman/
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems
@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__
@swarat.bsky.social
Professor of Computer Science at UT Austin and Visiting Researcher at Google Deepmind, London. Automated Reasoning + Machine Learning + Formal Methods. https://www.cs.utexas.edu/~swarat
@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
@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
@mrigger.bsky.social
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.
@rohan.padhye.org
Computer Science professor at CMU. Doing research on automated software testing and bug finding. https://rohan.padhye.org
@jameslarus.bsky.social
Retired EPFL CS professor/dean. Retired Microsoft researcher/manager. Time to do something new….
@dangrossmanseattle.bsky.social
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@garethtyson.bsky.social
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@gleissen.bsky.social
PL and Security research at VU Amsterdam https://gleissen.github.io
@ethancecchetti.bsky.social
Assistant Professor, PL-Security Researcher, and Bitcoin Unenthusiast at Wisconsin–Madison | Cornell PhD | Ultimate Frisbee player | Aspiring-to-be-more-avid cyclist Mastodon: discuss.systems/@EthanCecchetti Web: cecchetti.sites.cs.wisc.edu
@xexd.bsky.social
@docsavage.bsky.social
@ab.id.au
Core OS and systems security research @Google Zurich. Ex-{UNSW,ETH,MSR}. Mostly 🇦🇺. He/him.
@nikolajbjorner.bsky.social
@heidihoward.bsky.social
@antoine.systems
@gianniantichi.bsky.social
Faculty at Politecnico di Milano and Queen Mary University of London. Interested in Programmable Hardware, Operating Systems, I/O interfaces and networks https://gianniantichi.github.io/
@timroughgarden.bsky.social
Columbia CS professor. Head of Research at a16z crypto. Research on algorithms, game theory, mechanism design, blockchains/web3. Author of Algorithms Illuminated, Twenty Lectures on Algorithmic Game Theory, and Beyond the Worst-Case Analysis of Algorithms.