João F. Ferreira

@jff

Computer Scientist / CS Prof at IST (@istecnico) / Researcher at INESC-ID (@InescID)

+ Follow

Sergey Bronnikov (@[email protected])

@estet

Buidling @TarantoolDB. I make software suck less: software quality, testing, and verification. Writing to @openbsdnow and t.me/sqaunderhood.

+ Follow

@[email protected]

@lemmster

Principal Research Software Engineer at Microsoft Research

+ Follow

Alexandra Mendes

@asfmendes

Assistant Prof. in CS@FEUP, University of Porto (@feup_porto). Previously: Visiting Researcher @CarnegieMellon. Loves Programming, Maths, gardening, and walks.

+ Follow

Ashfaq Farooqui

@ashfaqhfarooqui

Helping autonomous systems do the correct thing. Researcher @RISEsweden. FOSS aficionado. Avid reader. Foodie and novice cook.

+ Follow

Surasak Phetmanee

@phsurasak

PhD student at the School of Computing Science, University of Glasgow @FormalMethodsGU @GlasgowCS @UofGlasgow #FormalMethods #ModelChecking #GameTheory

+ Follow

A. Jesse Jiryu Davis

@jessejiryudavis

Gone from Twitter.

+ Follow

Davide Basile

@davidebasile

Permanent Researcher @ ISTI CNR Pisa, Formal Methods and Tools Lab

+ Follow

Konando

@akilone

-akilone twitter therapy, saveti dana -ako ne mozes da se pridruzis uticajnima, onda se bori protiv njih

+ Follow

sabree λ ☕ → 🥓 → 👨🏿‍💻

@heavypackets

♥️ PL, Formal Methods, Privacy, DX, Rust 🦀, Lean, F* 🏳‍🌈 {⊥/⊥}

+ Follow

Nicolás Cardozo

@ncardoz

Into adaptive systems, programming languages, and dynamic verification. Associate Professor @FlaGlab @DISCuniandes @[email protected] @ncardozo.bsky.soci

+ Follow

Roberto Giacobazzi🇮🇹🇺🇸🇫🇷⛳️🌵

@rgiacobazzi

Professor of Computer Science: Theory of computation, computers, languages and their semantics

+ Follow

Shaukat Ali

@shukat_ali

Chief Research Scientist, Research Professor, and Head of Department at Simula Research Laboratory. Tweets about academia and food!

+ Follow

Piergiuseppe Mallozzi

@p_mallozzi

AI & Security enthusiast | Postdoc @ UC Berkeley | PhD in CS | Pianist and Music Lover

+ Follow

Marc Frappier

@frappier_marc

+ Follow

Arshavir 

@__wi

⛓️ Building on-chain governance for #ICP @DFINITY 🏛️ PhD at ETH Zürich. Personal account

+ Follow

Watislaw

@watislaw

proofs blah blah blah postdoc blah blah blah

+ Follow

Francesco Tiezzi

@tiezzifrancesco

+ Follow

Laura Titolo

@laura_titolo

Research Scientist At NIA/NASA Langley👩🏻‍💻 ~ Mum of 2 👨‍👩‍👧‍👦 ~ Ballet lover 🩰- From Italy 🇮🇹 living in the US 🇺🇸

+ Follow

Michele Sevegnani

@michele_seve

Senior Lecturer in Computer Science at the University of Glasgow

+ Follow

Dr Matt Webster

@drmattwebster

Computer scientist. Interested in safe and trustworthy AI & robotics. Views my own.

+ Follow

Ienaroonul

@ienaroonul5610

+ Follow

Vwauaweev

@vwauaweev624

+ Follow

Ian

@iandardik

Software Engineering PhD student at Carnegie Mellon University.

+ Follow

Tisittees

@tisitteesxcuys

+ Follow

Sleasore

@sleasorevj4we

+ Follow

Max Kdtzk

@mk201197

+ Follow

Karine Even-Mendoza

@karineevenmend1

Computer scientist and a lucturer@KCL/Informatics

+ Follow

PTAH NAM

@nam_ptah

Nyang

+ Follow

Aniello Murano

@nello_murano

Professor in computer science

+ Follow

FMT Lab ISTI CNR

@fmt_lab

Tweets by the Formal Methods and Tools (FMT) lab, ISTI-CNR, Pisa, Italy

+ Follow

Hakim

@hakim_uga

Assistant Professor CNRS, IRIT, Université de Toulouse, UT2J, France Previously I Researcher at Verimag Lab, Université Grenoble Alpes

+ Follow

FMICS 2023

@fmics_conf

28th International Conference on Formal Methods for Industrial Critical Systems

+ Follow

Mohammad Hossein Khoshechin

@mh_khoshechin

PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]

+ Follow

Ana Cavalcanti

@alccavalcanti

+ Follow

Jonah Pears

@jonah_pears

I work with models of asynchronous communication at the University of Kent. PhD Student.

+ Follow

Lizeth Tapia

@liz2ta

+ Follow

Rajdeep Baruri

@barurirajdeep

+ Follow

Lizeth Tapia

@sltarifa

+ Follow

FACS 2024

@facs_conf

20th edition of the International Conference on Formal Aspects of Component Software

+ Follow

Conor Reynolds

@conorereynolds

Postdoc at University of Manchester, Formal Methods

+ Follow

RMS

@realmadshoe

Student, Open Source Hardware & Software enthusiast. They / them

+ Follow

Shaun Azzopardi

@shaunazzopardi

+ Follow

Ragusa

@ragusaen

+ Follow

Thomas Flinkow

@thomasflinkow

+ Follow

FoelliX

@foellixde

Felix Pauck (FoelliX): Static Code Analysis Developer, Gamer, and Steelers fan. FelixPauck.de

+ Follow

Jorge A. Pérez

@perezjorgea_

Fundamental Computing (rug.nl/fse/fc) @univgroningen Software correctness | Concurrency, Logic, Programming Father (x2)

+ Follow

Khaza Anuarul Hoque

@khazahoque

Assistant Professor of EECS @mizzouengineer, Director @dependableCPS, University of Missouri @mizzou. Formal Method | AI Hardware | CPS | Trustworthy AR/VR

+ Follow

Violet Ka I Pun

@violetpun

Associate Professor in Computer Science

+ Follow

Mengwei Xu

@xu_mengwei

Lecturer in Computing at the University of Newcastle

+ Follow