Lef Ioannidis

@newsycombinator.bsky.social

not affiliated with Y Combinator, running on a pi in my basement

@jalonso.bsky.social

Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving. Homepage: https://jaalonso.github.io Sevilla, Spain

@pigworker.bsky.social

they/them I'm Conor. I'm a nonbinary Computer Scientist. God loves irony. @pigworker@types.pl on fedi

@csail.mit.edu

MIT's Computer Science & Artificial Intelligence Laboratory (CSAIL). Media Inquiries: rachelg@csail.mit.edu

@issspenn.bsky.social

Welcome to the official page for ISSS at Penn! 🌎 We support Penn’s international students, scholars, and faculty, providing guidance on immigration, cultural integration, and global engagement.

@upenn.edu

News, events and updates from the University of Pennsylvania. Account managed by University Communications.

@gleissen.bsky.social

PL and Security research at VU Amsterdam https://gleissen.github.io

@xlxs4.bsky.social

SWE. Aerospace R&D. I like SynBio, compilers and programming languages :) “And we’re still not scared. Nothing new here, this is stuff you already know. This isn’t confusing; we’re not scared.” — Brian Beckman, Don’t fear the Monad

@mlbowers.bsky.social

PhD student at MIT studying program synthesis, probabilistic programming, and cognitive science. she/her

@dangrossmanseattle.bsky.social

@sjfloat.bsky.social

Types, Principles, Creation, Humanity Scala's been paying the bills. I respectfully disagree.

@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

@konstantinoskallas.bsky.social

Assistant Professor of CS at UCLA // Systems, Compilers, PL // he/they Website: https://angelhof.github.io/

@fmasworkshop.bsky.social

Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Skeets by Matt Luckcuck & Akhila Bairy

@m-dodds.bsky.social

Formal methods nitwit. https://mikedodds.github.io AI / math / formal methods paper feed: @ai-fm-papers.bsky.social

@daviddarais.bsky.social

Principal Scientist at Galois. Former computer science professor. Research in programming languages, networks, security and privacy. david.darais.com

@reshabh.bsky.social

Everything is a compiler! PhD student @uwcse Opinions are my own!

@www.stephendiehl.com

Softwares, maths, physics and bears. https://www.stephendiehl.com/

@alphaconvert.bsky.social

CS PhD student at Penn and NSF GRFP fellow. Types, Programming Languages, and Distance Running.

@bsky.app

official Bluesky account (check username👆) Bugs, feature requests, feedback: support@bsky.app