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
Guannan Wei @guannanwei.bsky.social Programming languages; Assistant Professor at Tufts CS; Previously INRIA/ENS, Purdue
https://continuation.passing.style/
meier @meiermarie.bsky.social 
Jenna DiVincenzo @jcenzo.bsky.social Assistant Professor, Purdue ECE. I do research in software verification and programming languages. All opinions are my own. She/her. https://jennalwise.github.io
Konstantinos Kitsios @kitsios.bsky.social PhD student @ University of Zürich.
Interested in software engineering and software testing.
https://kitsiosk.github.io
Aymeric Varasse @varasterix.bsky.social Trust me, I’m an engineer!
Currently working at @softwareheritage.org
@lutzoettershagen.bsky.social @lutzoettershagen.bsky.social Assistant Professor at the Department of Computer Science, University of Liverpool.
https://lutzoe.github.io/
International Conference on Automated Software Engineering (ASE) @aseconf.bsky.social The 40th IEEE/ACM International Conference on Automated Software Engineering – https://conf.researchr.org/home/ase-2025
Lesly-Ann Daniel @lesly-ann.bsky.social Assistant Professor @ Eurecom. I'm interested in formal methods for low-level security. https://leslyann-daniel.fr
Guillaume Hiet @guillaumehiet.bsky.social Professor at CentraleSupélec | Head of SUSHI Research Team (Inria/CentraleSupélec/CNRS/ENS Rennes) | IRISA Lab | Cybersecurity | Hardware/Software Security
JCA @jcagroupe.bsky.social Découvrez la première coopérative scientifique française : JCA
Inscription Webinaire :
https://share-eu1.hsforms.com/1lXJHlJ0uReGrMLJtA_RZvw2dblsj
Julien Signoles @julien-signoles.bsky.social Researcher in formal methods
Moritz Schloegel @mu00d8.bsky.social Faculty @CISPA Helmholtz Center doing software security, program analysis, and fuzzing
Previously at SEFCOM lab @ASU and @RUB- J JB @jbezivin.bsky.social "Let's cultivate our garden"
Voltaire
aurelsec @aurelsec.bsky.social Hackademic at S3@eurecom
Michaël Marcozzi @marcozzi.net 🇪🇺🇧🇪 Permanent researcher in cybersecurity (fuzzing).
Works at CEA List Institute from Université Paris-Saclay (France).
http://www.marcozzi.net
I make software safer by viciously torturing it to reveal its flaws.
I can be kind too.
Conor Titania Mc Bride @pigworker.bsky.social I'm a trans-femme poly
Computer Scientist.
Apartheid target. Cardiac outpatient. Hatstand owner. Tomato grower. Doctor Who fan.
I do not trust this place.
@pigworker@types.pl on fedi
Don't call me Sir. Do call me "her" personally, or "them" professionally.
Kristopher Micinski @krismicinski.bsky.social kmicinski.com
Interested in automated reasoning, static analysis, and logic programming and literally nothing else.
Benoit Valiron @b3nb3n.bsky.social Quantum, Saclay.
Théo Winterhalter @theowinterhalter.bsky.social INRIA researcher, dependent types and proof assistants.
https://theowinterhalter.github.io/
David Corbacho 🎩 @dcor.dev
「 UX Engineer 」
⭐️ Motivated by helping others, speaker
🇪🇸 Spanish expat in Finland 🇫🇮
🇧🇻 Co-founder http://nordlys.studio • happy remote
🐦 @dcorbacho
dcor.dev