Borzoo Bonakdarpour
Associate Professor of Computer Science at Michigan State University
@joborgs.bsky.social
Associate prof at Uppsala University in Programming languages Swedish econ through an MMT lens - MMT for Sweden Born at 335 ppm, living in Stockholm 🇸🇪 previously 🇬🇧 🇩🇪 🇨🇭 Private account, he/him, 🌹 🇺🇦 🟣
@denismerigoux.bsky.social
Project leader, software infrastructure to support public policies @Inria. Programming languages, formal methods and the law. Co-creator of https://catala-lang.org.
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@taliaringer.bsky.social
@mlbowers.bsky.social
PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her
@naumsmogers.bsky.social
Software Engineer at @Google (compilers for TPUs), PhD @UoEdinburgh. Ex-intern @MSFTResearch, ex-intern @Arm Research. He/him
@owenarden.bsky.social
CSE faculty @UCSC, ex-Fed, progressive Mississippian. security / PL / distributed systems he/him
@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
@jqchen.bsky.social
@ilyasergey.bsky.social
Associate Professor at National University of Singapore. I do research in programming languages, software verification, distributed systems, and program synthesis. ilyasergey.net
@aoc.bsky.social
Waitress turned Congresswoman for the Bronx and Queens. Grassroots elected, small-dollar supported. A better world is possible. ocasiocortez.com
@sibin.bsky.social
Systems+Security faculty @GWTweets CS. Resiliency, OS, Networks, CPS, Real-Time. Photography. #AnnotatedEquations. He/him. Opinions/RTs personal.
@chrispenner.ca
FP and Programming languages nerd Building the Unison Language & Unison Share 📍Victoria BC 🇨🇦 https://chrispenner.ca
@forkjoin.bsky.social
Assistant professor @ UMass Boston | https://cogumbreiro.github.io/ | Faial is a verifier for #CUDA and #WebGPU written in #OCaml https://gitlab.com/umb-svl/faial #ocaml #rocq
@zee.town
eng @oxide.computer | @paperswelove.org co-founder | @scsatcmu.bsky.social PLT PhD, prev @fission.codes, comcast, basho, arc90, nypl_labs. Online @ https://zee.town | Pastes @ https://scpaste.zee.town 🎵 NP: "Long And Lonesome Road" by Shocking Blue
@jingbow.bsky.social
Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
@awsto.bsky.social
Computer science professor University of Wisconsin–Madison https://pages.cs.wisc.edu/~aws/
@eziobartocci.bsky.social
Prof. @ TU Wien, Cyber-Physical Systems, Chair of TrustACPS Doctoral College
@matteomaffei.bsky.social
Professor at TU Wien, coordinator TU Wien Cybersecurity Center, SecInt Doctoral School, SpyCoDe SFB. ERC grant holder.
@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
@shriram.bsky.social
Brown Computer Science / Brown University || BootstrapWorld || Pyret || Racket I'm unreasonably fascinated by, delighted by, and excited about #compsci #education #cycling #cricket and the general human experience.
@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.
@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
@isychev.bsky.social
postdoc @TU Wien, PhD from TU Munich. Fond of program synthesis and analysis, cleaning up finite-precision mess (old spelling Anastasiia Izycheva) https://aisychev.github.io
@necozay.bsky.social
Professor of EECS and Robotics at University of Michigan. Control theory, hybrid & cyber-physical systems, sys id, algorithms, safe autonomy. More info @ http://web.eecs.umich.edu/~necmiye/
@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.
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@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
@lorisdanto.bsky.social
Professor @ucsd & Visiting Academic @AWScloud. Helps people write code they can trust
@idillig.bsky.social
CS professor at UT Austin, does research in programming languages & formal methods.
@someshjha.bsky.social
I am a professor in the computer sciences at UW-Madison. My technical interests in trustworthy ML, formal methods, and security. My other interests are Indian classical music, mindfulness, tennis, and pickleball.
@bsky.app
official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app