Formal Methods 2026 (@fmsymp) Twitter Following • TwiCopy

Carlos Baquero

@xmal

Professor @feup_porto and researcher @inesctec. Distributed Systems and Data. Co-creator of CRDTs. Still searching for unknown unknowns

+ Follow

Moshe Vardi

@vardi

My mastodon account: @[email protected]

+ Follow

Ilya Sergey

@ilyasergey

Associate Professor at @NUSComputing. Programming languages, verification, distributed systems. Ex-@UCLCS, @IMDEA_Software, @JetBrains. PhD from @KU_Leuven.

+ Follow

Pedro T. Monteiro

@ptgmonteiro

By day: Uber driver of 3 👼. By night: professor @istecnico / researcher @InescID (ex @inria_grenoble & @Univ_Lyon1) LinkedOut/DeFaced

+ Follow

Porto.

@portoponto

porto.pt - o portal de notícias do Porto

+ Follow

Omar Chowdhury

@ochowdhu

Associate Professor at @sbucompsc. Works on Automated Reasoning, Security, Privacy, and Software Engineering. Views are my own.

+ Follow

Livia Lestingi

@livia_lestingi

PostDoc Researcher @PoliMi

+ Follow

CPS-VO

@cpsvo

Cyber-Physical Systems Virtual Organization: Fostering collaboration among CPS professionals in academia, government, and industry

+ Follow

Tom Henzinger

@thenzinger

Computer scientist @ISTAustria @forwit_at @ERC_Research @theNASciences @royalsociety @Leopoldina @oeaw @acad_euro

+ Follow

Felipe

@_feliperodri

All thoughts and opinions are mine. he/him

+ Follow

Nicola Gigante

@gignico

Researcher (RTD/a) at the University of Bozen, Italy @unibz. This profile is on hold. Please do yourself a favour and quit using this platform.

+ Follow

Einar Broch Johnsen

@ebjohnsen

Professor, @UniOslo. Computer science, formal methods, distributed systems, cloud computing, digital twins, robotics. Mastodon: @[email protected]

+ Follow

José A. Alonso

@jose_a_alonso

Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.

+ Follow

Matteo Pradella

@bzoto

Homo sapiens

+ Follow

Zvonimir Rakamaric

@rakamaric

+ Follow

Stanley Bak

@stanleybak

Assistant Professor in the Department of Computer Science at Stony Brook University investigating formal verification for autonomy. Views are my own.

+ Follow

Cristina Seceleanu

@cseceleanu

+ Follow

Márcia Costa

@mrciacosta9

+ Follow

Shriram Krishnamurthi (primary: Bluesky)

@shriramkmurthi

@BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.

+ Follow

Vincenzo Arceri

@arcerivincenzo

Assistant Professor (no-tenure track) @unipr

+ Follow

Dirk Beyer

@beyer_dirk

Professor for Software Engineering and Formal Verification at Ludwig-Maximilians-Universität München (LMU)

+ Follow

Ankush Das

@das8ankush

Asst. Prof. @BU_Tweets. Previously Applied Scientist @Amazon. PhD from @CSDatCMU. Interned @MSFTResearch and @Meta. Ugrad @iitbombay.

+ Follow

Laura Titolo

@laura_titolo

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

+ Follow

Jeremy Gibbons

@jer_gib

Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]

+ Follow

Hadas Kress-Gazit 🪷

@hadaskressgazit

professor; engineer; feminist; mother; spouse; daughter; sister. not ordered. (update June 2022) WTF. ABORTION IS HEALTHCARE. She/Her

+ Follow

Nadia Polikarpova

@polikarn

Associate prof @ucsd_cse. Building tools for program verification and synthesis.

+ Follow

Verification papers

@verif_papers

Some selection of verification related papers (computer science, math, optimization, control) from Arxiv and DBLP.

+ Follow

Kim G Larsen

@kglaau

+ Follow

Bruno Guindani

@bruno_guindani

Post-doc Researcher @ Politecnico di Milano (@deepse_polimi)

+ Follow

CAV

@confcav

37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25

+ Follow

CVC4

@cvc4solver

CVC4 is an efficient open-source SMT solver. It is a joint project led by Stanford University and the University of Iowa.

+ Follow

Lizeth Tapia

@liz2ta

+ Follow

QEST Conference

@qestconf

The International Conference on Quantitative Evaluation of SysTems - QEST 2020 - Vienna 🇦🇹 31 August - 3 September 2020 located at @tuvienna

+ Follow

Tiago Baptista

@tiagoba74651796

Engenharia Informática ⚽ 💾 #11 #lurker

+ Follow

Armando Santos

@_bolt12

Haskell Consultant @ Well-Typed LLP

+ Follow

Formal Analysis, Theory & Algorithms

@fataglasgow

Formal Analysis, Theory & Algorithms research section @GlasgowCS @UofGlasgow (tweets by @OanaMAndrei)

+ Follow

Borzoo Bonakdarpour

@theborzoo

Husband, Dad, Associate Prof of Computer Science at Michigan State University. Computer and music nerd.

+ Follow

Tzu-Han👩🏻‍💻🎹

@tzuhanh

CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜

+ Follow

Nayuta Yanagisawa

@nayutayanagisaw

Researcher in industry, Doctor of Science, Erdős number 3

+ Follow

Sibylle Möhle

@mohlesibylle

Doing research in first-order logic as well as in propositional model counting and enumeration; with a weakness for rock, ice, and the 3rd dimension.

+ Follow

FACS 2024

@facs_conf

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

+ Follow

FMASWorkshop

@fmasworkshop

Workshop on Formal Methods for Autonomous Systems, organised by Matt Luckcuck, Marie Farrell, Maike Schwammberger & Mario Gleirscher Tweets by @MattLuckcuck

+ Follow

FMICS 2021

@fmics2021

Twitter account for the FMICS 2021 conference managed by the PC Chairs.

+ Follow

Khalil Esper

@khalilesper

Researcher @TF_UNI_Erlangen @UniFAU

+ Follow

DeepSE @ Politecnico di Milano

@deepse_polimi

DEpendable Evolvable Pervasive Software Engineering group

+ Follow

Violet Ka I Pun

@violetpun

Associate Professor in Computer Science

+ Follow

Ahmed Nagy

@fluffybeast26

+ Follow

FMICS 2023

@fmics_conf

28th International Conference on Formal Methods for Industrial Critical Systems

+ Follow

Parv Kapoor

@parvkpr

PhD student at CMU || Research intern @ScafoAI || previously USC and @CompScienceCU

+ Follow

Kazuki Watanabe

@kwatanabecs

Assistant Professor at National Institute of Informatics (Tokyo). Interest: model checking, program verification, category theory, optimization. ACT-X

+ Follow