Dr. Thorsten Fuchs @thorfuchs.bsky.social PhD Mathematician, Panta Rhei Research Program. Former McKinsey, Microsoft, AWS & ServiceNow.
https://panta-rhei.site
ETAPS conferences @etapsconf.bsky.social ETAPS International Joint Conferences On Theory & Practice Of Software. The ETAPS conferences are ESOP, FoSSaCS, iFS, and TACAS.
ETAPS 2027: April 10–15, Copenhagen, Denmark
https://etaps.org
雪夜のともしび @snowy-lantern.bsky.social noteとYouTubeで証明支援システムRocqについて発信しています。
https://note.com/snowy_lantern
https://www.youtube.com/@Snowy_Lantern
Open Research and Public Engagement Roadmap @engagedroadmap.bsky.social Co-Creating Ireland's Public Involvement in Open Research Roadmap
ENGAGED is building a national roadmap to shape public involvement in open research in Ireland. We believe that research can and does play an important role in tackling societal challenges.
Formally proved nerd @lostcrab.bsky.social Interests: PL design, type systems, program synthesis, optimization, formal verification, model checking, Coq, Lean, ...
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.
Dominik Winterer @dominikwinterer.bsky.social Assistant Professor (Lecturer) at University of Manchester
Formal Methods Engineering Lab: https://manchester-fme.github.io
Eunsuk Kang @eskang.bsky.social Associate Professor@CMU S3D. Software engineering, systems safety, formal methods. https://eskang.github.io/
Formal Land @formalland.bsky.social Formal verification for everyday-life applications
We use math to ensure your code has no vulnerabilities
For Rust, Solidity, zk circuits. We use Rocq.
https://formal.land/
Francesco Ranzato @ranzato.bsky.social Professor of Computer Science, University of Padova, Italy. Research interests: Programming languages, Program analysis, Program verification.
Junrui Liu @junrui-liu.bsky.social Incoming Assistant Prof of CS @ Cal Poly. Interested in programming languages, synthesis and verification. https://junrui-liu.github.io/
Opinions are my own.
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.
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
Étienne André @etienneandre.bsky.social Professeur des Universités
LS2N
Nantes Université
Institut Universitaire de France (2024-2029)
#FlyLess (no plane travel within Europe)
(he/him)
www.etienne-andre.fr
Eerke Boiten @eerkeboiten.bsky.social Prof Cyber Security and Head of School Computer Science and Informatics at De Montfort University. Own views. He/him.
Formal methods (last ever books on Z or refinement). Cyber security. Privacy. Data politics. Not all hypes. DM:eerke.boiten@dmu.ac.uk.
José A. Alonso @jalonso.eurosky.social Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain 
Achim D. Brucker @adbrucker.bsky.social Cybersecurity Prof at @UniofExeter, former Security Testing Strategist at SAP SE. Formal Methods, Security, Safety, Theorem Proving, Formal Semantics, http://logicalhacking.com / @adbrucker@fediscience.org