@reifyreflect.bsky.social
@lean-lang.org
Helping to break the trust bottleneck in modern research mathematics.
@xkcd.com
@lingjieliu.bsky.social
Assistant Professor at UPenn. https://lingjie0206.github.io. Research interests: Neural Scene Representation, Neural Rendering, 3D Reconstruction, Human Performance Modeling and Capture.
@delafuentelab.bsky.social
Presidential Associate Professor @upenn.bsky.social - using AI to reimagine antibiotic discovery and peptide design. Previously @MIT, @UBC 🔗 https://delafuentelab.seas.upenn.edu
@michaelposa.bsky.social
Asst. Prof. at the University of Pennsylvania, part of the GRASP Lab. PI of the Dynamic Autonomy and Intelligent Robotics Lab. https://dair.seas.upenn.edu
@kordinglab.bsky.social
@Penn Prof, deep learning, brains, #causality, rigor, http://neuromatch.io, Transdisciplinary optimist, Dad, Loves outdoors, 🦖 , c4r.io
@grasplab.bsky.social
Founded in 1979, the GRASP Laboratory is an interdisciplinary academic and research center, and premiere robotics incubator within Penn Engineering.
@warrencenter.bsky.social
A research center at Penn Engineering, working to foster research and innovation in interconnected social, economic and technological systems.
@gnpappas.bsky.social
@danisbassett.bsky.social
Networks, neuroscience, control theory, curiosity, science of science 🏳️🌈🏳️⚧️J Peter Skirkanich Professor, University of Pennsylvania
@jplotkin.bsky.social
Annenberg Professor of Natural Sciences, University of Pennsylvania http://evolution.sas.upenn.edu/
@santosh-nagarak.bsky.social
Professor of Computer Science at Rutgers University. See more here: https://people.cs.rutgers.edu/~santosh.nagarakatte/
@sperbsen.bsky.social
Husband, father, CEO, functional programmer, theater person. https://www.deinprogramm.de/ https://discuss.systems/@sperbsen
@yuriybrun.bsky.social
Professor at the University of Massachusetts Amherst https://people.cs.umass.edu/~brun/
@tomasp.net
Assistant prof at Charles University. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at University of Kent and @cst.cam.ac.uk.
@pennengineering.bsky.social
The official Bluesky page for the University of Pennsylvania's School of Engineering and Applied Science
@andreaszeller.bsky.social
Software researcher at https://cispa.de, working on #Fandango, #S3, #FuzzingBook, #DebuggingBook. Testing, debugging, analyzing, and protecting software for a better world. Find me at https://andreas-zeller.info/
@stephen-edwards.bsky.social
Associate Professor of Computer Science at Columbia University https://www.cs.columbia.edu/~sedwards
@sigplan-pldi.bsky.social
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi25.sigplan.org/. Official hashtag this year: #PLDI2025. Posts by @konstantinoskallas.bsky.social and @lastland.bsky.social.
@manu.sridharan.net
CS prof at UC Riverside in Programming Languages and Software Engineering. Original author of NullAway. https://manu.sridharan.net
@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
@andygillku.bsky.social
Principal Engineer, AI Compute, at Rain AI. True Scotsman. Former professor at the University of Kansas. Former Googler. Jayhawk fan. Long time functional programmer.
@mkearnsphilly.bsky.social
CS prof at Penn, Amazon Scholar in AWS. Interested in ML theory and related topics, as well as photography and Gilbert and Sullivan. Website: www.cis.upenn.edu/~mkearns
@tagide.com
Professor at UC Irvine, among other things. This is my personal account, not the University’s. I like light and clarity.
@fixpt.de
Likes Lean, Haskell, static analysis, PL design and theory, general CS, and his trumpet
@konstantinoskallas.bsky.social
Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/
@icfp-conference.bsky.social
ACM SIGPLAN International Conference on Functional Programming. Biskweets by @shwestrick.bsky.social https://icfp25.sigplan.org/ https://icfpconference.org/
@ionchy.ca
it's pronounced "yawn-chee" and the `i` is lowercase MSc @ SPL ∈ UBC ⊦ PhD @ PLClub ∈ UPenn asian-canadian 🇨🇦🇹🇼🇭🇰🏳️🌈 https://ionathan.ch
@alphaconvert.bsky.social
CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.
@samth.bsky.social
Associate Professor, IU Computer Science · Core Developer, @racketlang.bsky.social · Member, TC39 · Handler, Gravymaker · Bike Advocate, Bloomington IN
@plaidfinch.net
watch bird, zoom car, eat snack email me! finch@plaidfinch.net age123456789pqc3kgk33jrca6vqlf7pl8me3vqzjqj7jf60qdm9l42sm5ffva λ □ · ν ○ · □ ◇ Δ ○﹕□ ( □ ○ → ○ ) → □ ○
@jmct.bsky.social
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
@shwestrick.bsky.social
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl) https://cs.nyu.edu/~shw8119/
@hilacodes.bsky.social
Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, 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
@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/
@mwillsey.com
https://mwillsey.com asst prof @ uc berkeley eecs mastodon: @mwillsey@discuss.systems