- P Pratyush Mishra @pratyush.zip Current: Asst Professor at Penn CIS
Past:
Cryptographer at Aleo
Crypto and computer security PhD, UC Berkeley
he/him
Website: pratyush.zip
Photoblog: photos.pratyush.zip
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Orpheus Lummis @orpheuslummis.info Advancing AI safety through convenings, coordination, software, analysis
Founder of HΩ (https://horizonomega.org), based in Montréal
Érik Martin-Dorel @erikmartindorel.bsky.social Associate Professor of Computer Science, Software developer.
Fluent in Rocq/OCaml/Java/Python/Docker/Bash/Git/Ansible.
Opinions are my own and not the views of my employer.
https://linktr.ee/erikmd
Anshu Sharma @anshugsharma.myatproto.social Studying quantum networking. YIMBY, anti-ethnonationalisms, pro open borders. Bathrooms shouldn't be gendered. ‘Anarchist’ isn't a slur. He/him. Adult.
Linkedin: https://www.linkedin.com/in/anshugsharma/
Mr.MoonRose @mrmoonrose.bsky.social Blockchain & Web3 • Crypto • Defi • DePin •
X : @sh3rly13
Stig Helmer @stighelmer.bsky.social #1 Mindy Furano fan account
Jakob Homan @jakobhoman.bsky.social Software engineer. Data infra guy. Apache Committer/PMC on various projects. WebAssembly enthusiast. Also cinema, street photography and sarcasm...
No relation to that fascist fuck.
Rick Elrod @relrod.bsky.social Hello! I am a #linux and #emacs user and software engineer who also enjoys #linguistics and #etymology. Trying to forget that I'm American. Proud to be living in Germany. Learning #German and #Rust. he/him/his.
GitHub: https://github.com/relrod
Vicent @vbosch.bsky.social Co-founder & CTO en transkriptorium, Researching formal specification for the Agentic Era as a side gig but related to my main one :-)
StErMi @stermi.bsky.social #web3 dev + auditor | @SpearbitDAO LSR, @immunefi bug hunter, sage of AAVE codebase :D
Abel Sen @neuroevolutus.bsky.social Functional and systems programmer
int_ijk @tbrunner.bsky.social irl i provide care to dependent adults and read algebra, logic, & code.
berkeley, maine, ithaca, eugene. nominal vet (usnr '71-73), nps, hac, sri alum
email: tbrunner@uoregon.edu
commandeer
pronouns: thee/thou
#mathsky #autism
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
Dr Oana Andrei @oanamandrei.bsky.social Senior Lecturer at the University of Glasgow. Working on computing education, formal methods & theoretical computer science, work-based learning in software engineering, skills & competencies, widening participation in HE, equality, diversity & inclusion.
AapoAlas @aapoalas.trynova.dev Nova JavaScript engine developer and OSS contributor by day and night. Avid choir singer. He/him.
Give me data-oriented design or else (I will cry).
https://trynova.dev/
Jeremy @jrmyd.eurosky.social 🇫🇷 of 🇵🇹 descent, married to 🇮🇹 in 🇳🇱.
- Formerly worked in quantum cryptography (PhD), specifically in making protocols device independent using non locality.
- Now design/code some (non quantum) algorithms
- Like FOSS
- Like logic/CS/maths/physics
🗣️ 🇫🇷🇬🇧🇮🇹🇵🇹🇪🇸
Cryptography.academy @cryptoacademy42.bsky.social We educate people about cryptography, and apply techniques like formal verification to build verified primitives.
Yoichi Hirai @pirapira.bsky.social interested in computation and logic.
ProgramingIsTheFuture @programingisthefuture.com Ω := (λx.x x) (λx.x x)
To Ω and beyond!
Backend developer with OCaml by day 🐫
Type theorist by night 🫣
I use Arch, (and neovim) btw 😎
Shriram Krishnamurthi @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.
Guillaume Claret @guillaume-claret.bsky.social Founder/Security researcher at Formal Land
Formal verification in Rocq (PhD). Solitity/Rust/ZK
Discuss: https://calendly.com/guillaume-claret
Stéphane Caron @locoscaron.fosstodon.org.ap.brid.gy I toot about open-source robots and robotics.
🌉 bridged from ⁂ https://fosstodon.org/@locoscaron, follow @ap.brid.gy to interact
Charles Southerland @proidiot.bsky.social Like most of our world, computers don't have to suck, but we must choose improvement.
Formal Methods, F(L)OSS, math memes, general nerdiness.
Anderson Nascimento @andersonc0d3.bsky.social Director & Security Researcher @alleleintel.com
Blog: https://blog.andersonc0d3.io
Jonan Scheffler 👾 @thejonanshow.bsky.social I like humans. Computers are OK too.
Jack Vanlightly @vanlightly.bsky.social Researcher, advisor, writer, formal verification eng @ Confluent.
Everything data (dist sys, databases, messaging, data eng/analytics).
https://jack-vanlightly.com, https://www.hotds.dev
Credit: ESO/B. Tafresh
Michael Trinh @mctrinh.bsky.social Research Professor | Founder https://www.mindlinkor.com | https://github.com/mctrinh | https://x.com/_mctrinh | https://www.linkedin.com/in/mctrinh | 🇻🇳 🇰🇷 🇭🇰 🇮🇹 🇺🇸 🇯🇵
Formal Methods Europe @formalmtds.bsky.social Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
KC Sivaramakrishnan @kcsrk.info Prof at IIT Madras, CTO of Tarides.com, Trustee at mmht.clinic
kcsrk.info
Bluesky @bsky.app official Bluesky account (check username👆)
Bugs, feature requests, feedback: support@bsky.app