0tanh @0tanh.bsky.social Audio & Software
suppress the source of the black surge
dangerous on the buttons
worse is not better
🏳️⚧️ ❄️🦀🐍
Phentas @phentas.bsky.social - D Dejan Jovanović @dddejan.bsky.social Automated reasoning @ AWS.
https://dddejan.github.io/
Chelsea Edmonds @cledmonds.bsky.social Lecturer at UWA working on proof assistants, formal verification & security. CS Education Advocate. Cambridge Australia Scholar Alumni, PhD, AFHEA. Views are my own.
박사가 @nicheinms.bsky.social ⌯ᵔ⤙ᵔ⌯ಣ
norinecoenen.bsky.social @norinecoenen.bsky.social 
Aníbal M. Astobiza @anibalmastobiza.bsky.social Emergia Research Fellow at University of Granada
https://anibalmastobiza.github.io/
Cosme @encos.me Parlar ja és exagerar • Àlgebra • @uv.es
http://www.uv.es/coslloen/
🌿Aspen Harding | Author✨ @aspenharding.bsky.social 🌿WEEDIE WISDOM🌿
🔆Modern Philosophy | Spiritual Insights📿
I had a break-up.
I had a breakdown.
I had a breakthrough.
Crawling my way back up from rock bottom.
Sharing insights learned along the way.
OCamlPro @ocamlpro.bsky.social OCamlPro helps you harness state-of-the-art languages like #OCaml and #Rust. We help you design & implement safe & powerful software #FormalMethods
K.Hirata @venriched.bsky.social 豊穣圏
Science Events @scievents.bsky.social Science Events helps you organise a scientific conference or workshop. Use our platform to organise your next event! Visit our platform at https://www.sci.events
Julien Signoles @julien-signoles.bsky.social Researcher in formal methods
David Richter @drcicer.bsky.social ❤️ programming languages.
postdoc at @stg_darmstadt
DR are my initials and my title (now)
Simmo Saan @sim642.eu Computer scientist. https://sim642.eu/
Andrea Gilot @agilot.bsky.social PhD at Uppsala University, verifying floating-point programs: andreagilot.com
StepBroBD @stepbrobd.com F/KC1VZR
AS10779/AS18932
https://stepbrobd.com
https://github.com/stepbrobd
https://youtube.com/@stepbrobd
Diego Marmsoler @dmarmsoler.bsky.social Formal Methods Researcher, Senior Lecturer @ University of Exeter, Developer of Isabelle/Solidity, marmsoler.com
Marie Kerjean @mariekerjean.bsky.social Researcher in Theoretical Computer Science at the LIPN. #Logic and Analysis, mainly.
Pronouns : She/her
🔗 https://lipn.univ-paris13.fr/~kerjean/
Cenk Büyüksaraç @cenkbsarac.bsky.social Elektrik Mühendisiyim.
Mikhail Barash @mikbar.bsky.social Programming Language Specification and Standardization. Professor at University of Bergen, Norway. TC39 Delegate. Co-convener of TC39-TG5. Ecma International Executive Committee member. Opinions are my own.
@stefanofago.bsky.social @stefanofago.bsky.social 
Formal Methods for Autonomous Systems @fmasworkshop.bsky.social International Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, & Maike Schwammberger
Skeets by Matt Luckcuck & Akhila Bairy
Website: https://fmasworkshop.github.io
@spimees.bsky.social @spimees.bsky.social 
Vaishnavi S @vaishs.bsky.social Gulpy, gurgly, plobby, squishy, wofflesome | Occasionally a computer scientist https://vaishs.github.io
Luca 🤓 @lucadistefano.eu Postdoc at TU Wien Informatics • Opinions my own • Standing in the wind
Mohammad Rezaalipour @mohrez25.bsky.social Postdoc @unipassauresearch.bsky.social
PhD in Informatics from @usi.ch
Homepage: mohrez86.github.io
LinkedIn: https://www.linkedin.com/in/m-rezaalipour
Mastodon: https://mastodon.acm.org/@mohrez
X: https://x.com/mohrez2019
@metal-orgo-framewk.bsky.social @metal-orgo-framewk.bsky.social 
@jdemuijnck.bsky.social @jdemuijnck.bsky.social Lecturer of type-driven approaches to trustworthy-systems (CyberSecurity) at Strathclyde. Professionally interested in PL & FM Methods; socially interested in many things! My work doesn’t define me; it is not my identity.- O Obiter questum @obiterquestum.bsky.social
Orpheus Lummis @orpheuslummis.info Advancing AI safety through convenings, coordination, software, analysis
Founder of HΩ (https://horizonomega.org), based in Montréal
@davexparker.bsky.social @davexparker.bsky.social 
Carlo A. Furia @bugcounting.net Associate professor in computer science at the Software Institute of USI Università della Svizzera italiana.
PLDI @sigplan-pldi.bsky.social The ACM SIGPLAN Conference on Programming Language Design and Implementation. Website: https://pldi26.sigplan.org/. Official hashtag this year: #PLDI2026. Posts by @jcenzo.bsky.social and @konstantinoskallas.bsky.social.
Sam Pollard @sdpoll.bsky.social Computer scientist researching formal methods. I enjoy TTRPGs and staying inside.
Michael Birch @birchmd.bsky.social Software developer; math enthusiast; he/him; MTG casual;
https://github.com/birchmd
https://www.typedriven.ca/portfolios/
Soundbox @soundboxpro.bsky.social AV Support for Events & System Installations in Hamilton, Niagara, Toronto, and beyond.
Samuel Teuber @ PLDI @teuber.bsky.social Doctoral Researcher at KIT's Computer Science Department | Formal Methods for Software & AI (Focus on CPS and Fairness Verification)
Currently migrating from Twitter (@teuber_dev)
www.teuber.dev
Luiz Aoqui @luiz.aoqui.dev Software Engineer @oxide.computer 🇧🇷🇨🇦
Prev.: IBM, HashiCorp Nomad, Loophole Labs
Ian McCormack @icmccorm.com PhD Candidate in Software Engineering @CMU
Studying Rust interop 🦀
borrowsanitizer.com
Niklas Metzger @niklasmetzger.bsky.social 
Davide Ancona @davideancona.bsky.social University of Genova, Italy
@taylortjohnson.bsky.social @taylortjohnson.bsky.social 
@mikolasonblue.bsky.social @mikolasonblue.bsky.social I'm a computer scientist interested in the application of machine learning in the context of automated reasoning and formal methods. These days manly focus on Satisfiability Modulo Theories (SMT).
Shabnam Ghasemirad @shabnamrad.bsky.social 💻📚PhD student in CS at ETH Zürich
📊🔒Formal Verification & Distributed Databases
🎼🎻 Violinist
Tiago Cogumbreiro @forkjoin.bsky.social Associate 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
@nicolaassolini98.bsky.social @nicolaassolini98.bsky.social 
@mahboobehad.bsky.social @mahboobehad.bsky.social 
@ivoterhorst.bsky.social @ivoterhorst.bsky.social 
Einar Broch Johnsen @ebjohnsen.bsky.social Prof CS University of Oslo
https://ebjohnsen.org
CAV @confcav.bsky.social 37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @erata.bsky.social & @frenkel_hadar. Use #cav25
@pengchao.bsky.social @pengchao.bsky.social 
@mark-lawford.bsky.social @mark-lawford.bsky.social 
Jingbo Wang @jingbow.bsky.social Assistant Professor at Purdue ECE. I do research on formal methods and program verification. PL/SE/FM
Yotam Feldman @yotamfe.bsky.social PhD in computer science (formal methods), postdocing in computational chemistry. Schmidt Science Fellow 2023
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Ben Hermann @benhermann.eu Professor for Secure Software Engineering at Universität Stuttgart
🏳️🌈💻🎓
https://benhermann.eu
https://sse.cs.tu-dortmund.de
Michael Schwarz @93mschwarz.bsky.social PhD Student in Computer Science at TUM working on Static Program Analysis. Traveller. Fan of (almost) everything Science Fiction. https://michael-schwarz.github.io/
画力・博士号・油田 @gfngfn.bsky.social Website: https://gfngfn.github.io/ja/
GitHub: https://github.com/gfngfn
Twitter (”X”): https://twitter.com/bd_gfngfn
jnpn @jnpn.bsky.social Lisp / FP / Logic programming / APL
Applied Math / Comp bio wannabee
looking for projects in MDD/MDA, RO, DX, cs.PLT
@salmon-lemon.bsky.social @salmon-lemon.bsky.social 
rudelune @rudelune.bsky.social Intéressé par l'informatique sur papier et sur écran 🌱
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Fridtjof Siebert @fridis.bsky.social ࿋🚴🏃🐕🦺🐈🎏🥨🥐🥝🇪🇺
Designing the Fuzion programming language and implementing related tools (http://fuzion-lang.dev).
SW safety&security, static code analysis, compilers, FP&OOP.
Radical cyclist, distance runner, resisting car centric culture.
Jan Kofroň @jankofron.bsky.social Associate professor at Charles University, Czech Republic, computer science, program verification, linux
@ondralengal.bsky.social @ondralengal.bsky.social 
Federico Formica @fedformi.bsky.social Italian living in Canada.
PhD Candidate in Software Engineering at McMaster University. Researching Cyber-Physical Systems, Model Verification and Automatic Testing techniques.
Currently wasting a lot of time on No Man's Sky.
@vmanquinho.bsky.social @vmanquinho.bsky.social CS Professor at @istecnico.bksy.social - U. Lisboa
Vincent ENGLEBERT @vincent-englebert.bsky.social Academic, addicted to metamodelling & MDE (but I look after myself), computer scientist, passionate about (street) photography and gastronomy, loves animals (including the human subspecies).
📸👨🍳🚲🚶🌈💻🇧🇪🇪🇺🇺🇦🕊️🐶👨🏫🤡
http://www.englebert.eu
Alessandra Bagnato @alebagnato.bsky.social Bluesky: December 2024
Painting is silent poetry, and poetry is painting that speaks
Plutarch
Eloquence is a painting of the thoughts.
Blaise Pascal
@claudio-menghi.bsky.social @claudio-menghi.bsky.social 
@marieke73.bsky.social @marieke73.bsky.social 
Dominic Orchard @dorchard.bsky.social Computer science academic, co-directing the Institute of Computing for Climate Science at the University of Cambridge and a senior lecturer in computer science at the University of Kent. Programming languages >< climate modelling
https://dorchard.github.io- E @emptying.bsky.social @emptying.bsky.social
Ferhat Erata @erata.bsky.social PhD student @Yale • Applied Scientist @AWS AI • Automated Reasoning • Neuro-Symbolic AI • Alignment • Security & Privacy • Views my own • https://ferhat.ai- M mzlpk.bsky.social @mzlpk.bsky.social
@ardalaaaan.bsky.social @ardalaaaan.bsky.social 
Hila Peleg @hilacodes.bsky.social Asst. Prof of CS@Technion, program synthesis is all about correctness. PL/SE/HCI, she/her
Emery Berger @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. 
Cedric Richter @cedrichter.bsky.social Research scientist at University of Oldenburg.
Interested in teaching machines the art of debugging.
Haniel Barbosa @hbarbosa.bsky.social SMT solving for fun and profit. https://hanielbarbosa.com/
Also, movies. https://hanielbarbosa.com/filminhos/
ben🍪 @benkeks.bsky.social Computer science, logics, games at #tuberlin.
Rep. of academic staff at TU Berlin Board of Trustees
https://bbisping.de
Alexandra Silva @xanovsky.bsky.social Mom, foodie, traveller, computer scientist
@n-pite.bsky.social @n-pite.bsky.social