ETAPS Conferences (now on other platforms)
@etapsconf
We aren't here; find us on BlueSky, Mastodon, Facebook or Linkedin.
Or in person, at ETAPS 2025: May 3–8, Hamilton, Canada
ID: 1067014709344432130
https://etaps.org 26-11-2018 11:18:25
263 Tweet
348 Followers
52 Following
Dominic Orchard
@dorchard
Computer science academic at University of Kent (@UniKentComp) & co-director of the Institute of Computing for Climate Science @Cambridge_ICCS (@Cambridge_Uni)
Arie Gurfinkel
@ariegurfinkel
Atsushi Igarashi
@50storms
Étienne André (now on other platforms)
@etienne_andre
Professeur @ Université Sorbonne Paris Nord (@univ_spn, @LipnLab) Institut Universitaire de France #FlyLess (no plane travel within Europe) (he/him)
Mike Papadakis
@mikepapadakis
PLDI
@pldi
The ACM SIGPLAN Conference on Programming Language Design and Implementation. Official hashtag this year: #PLDI2025. Tweets by @konskallas and @lastland0
Tom Henzinger
@thenzinger
Computer scientist @ISTAustria @forwit_at @ERC_Research @theNASciences @royalsociety @Leopoldina @oeaw @acad_euro
Chukri Soueidi
@chukris_a
“I... a universe of atoms, an atom in the universe.” ~ Feynman
Oana Andrei
@oanamandrei
Lecturer (Assist. Prof.) @GlasgowCS | @UofGlasgowEAP @FormalMethodsGU @FATAglasgow
Ramon Fernández Mir
@ramonfmir
Verifying things, formally, @Apple. PhD @InfAtEd, MEng @ICComputing.
Marielle Stoelinga
@m_stoelinga
Professor ICT Risk Management | Innovation | Betrokken Burger | Ongeneeslijk Optimistisch
xavxav
@xldenis
"formal verification hacker"
Bernardo Subercaseaux 🐒
@b_subercaseaux
Chilean PhD student @CarnegieMellon. Passionate about Theoretical Computer Science, writing, monkeys, beer, lemon pie and old Shakira's songs. He/Him/Monke.
Jaime Arias
@himiteins
Николас
@thisisnicolas_
PLP. Ezeiza.
Caterina Urban
@caterinaurban
Research scientist at @inria_paris and @ENS_ULM. Left-handed 🤚, in the footsteps of Alan Turing and Marie Curie. I want a dog 🐕.
Yves Le Traon
@yvesletraon
Renzo Degiovanni
@renzodegiovanni
Nir Piterman
@n_pite
Professor for Computer Science @cse_gbg @goteborgsuni.
Guillaume Boisseau
@guillaume_bso
PhD student @ Oxford. Working on Graphical Algebra i.e. simple math in 2D! youtube.com/channel/UCKUFR…
Alastair Donaldson
@afd_icl
Professor of Programming Languages at Imperial College London
Michael Schwarz
@misc0110
InfoSec Faculty @ #CISPA. Side-channel attacks. Exploiting microarchitectures. #Meltdown #Spectre #ZombieLoad #SGX #JavaScript #Rowhammer
Formal Methods Europe
@formalmtds
Formal Methods Europe is a worldwide association bringing together researchers and practitioners in formal methods developing computing systems and software.
Fabrice Kordon
@fabricekordon
Professeur en informatique à Sorbonne Université et directeur du LIP6.
Jeremy Gibbons
@jer_gib
Christian, functional programmer, bass player, increasingly absent-minded prof. Also @[email protected]
Verification papers
@verif_papers
Some selection of verification related papers (computer science, math, optimization, control) from Arxiv and DBLP.
Hana Chockler
@hanachockler
Hillel Kugler
@hillelhkugler
Kim G Larsen
@kglaau
CAV
@confcav
37th International Conference on Computer-Aided Verification. July 21-25, 2025 in Zagreb 🇭🇷. Publicity Co-Chairs: @ferhaterata & @frenkel_hadar. Use #cav25
LIPN
@lipnlab
The LIPN is a computer science research laboratory of @CNRS and @univ_spn. @INS2I_CNRS 🐘 : @[email protected]
Nouraldin Jaber
@nouraldinjaber
Applied Scientist at AWS's Automated Reasoning Group. PhD from Purdue. Knows a thing or two about Mediterranean food.
Yotam Feldman
@yotamfe
Postdocing in physical chemistry (molecular dynamics), PhD in computer science (formal verification). @SchmidtFellows 2023
Celine Ghibaudo
@ghibaudoceline
Luiz Carvalho
@l_m_carvalho
QEST Conference
@qestconf
The International Conference on Quantitative Evaluation of SysTems - QEST 2020 - Vienna 🇦🇹 31 August - 3 September 2020 located at @tuvienna
Tzu-Han👩🏻💻🎹
@tzuhanh
CS PhD student @TheBorzoo, interned at @MSFTResearch @AWScloud, plays piano & violin, into formal verification/security/hyperproperty, also 🎻🎹🎵🎬🌹🥑☕🥂🦙🦜
Benedikt Bollig
@benedikt_bollig
Igor Konnov | konnov.phd | security*formal 🧐
@k0nn0v
independent security and formal methods researcher
Max ⊶ New @[email protected]
@profmaxnew
Professor of Computer Science @umich, tweets about programming language design, semantics and ̶c̶a̶t̶e̶g̶o̶r̶y̶ ̶t̶h̶e̶o̶r̶y̶ profunctors. Louisiana ex-pat ⚜️
Ondra Lengal
@ondralengal
Mohammad Hossein Khoshechin
@mh_khoshechin
PhD student @ MPI-SWS Interested in Formal Verification / Distributed Systems / Concurrency Theory / @[email protected]
Holger Hermanns
@bmg1900vf
Cool
Yuito MURASE
@bindingscope
多段階計算と様相λ計算が気になる京都の博士学生です / Ph.D. student at Kyoto Univ. Interested in metaprogramming and modal logic. Fediverse: [email protected]
AISER Team
@aiser_team
AI Safety, Explainability and Robustness Team at CEA. Tools: - CAISAR: caisar-platform.com - PyRAT: pyrat-analyzer.com - Colibri*: colibri.frama-c.com
Roopsha Samanta
@roopshasamanta
Ex-academic. Untenured, unapologetic, undaunted.
Maxime Cordy
@maxcordy
Research scientist & team leader at SnT (University of Luxembourg), Software and AI System Engineer
Ornela Dardha
@orneladardha
Senior Lecturer (Associate Professor) @GlasgowCS, @UofGlasgow dcs.gla.ac.uk/~ornela/ colab-glasgow.github.io Mastodon: @[email protected]
Martin Nyx Brain
@ciphernyx
Automatic verification, SMT, floating-point, SAT, abstract interpretation, maffs, crypto means cryptography, security, academic, etc. Banner by @forestfawnette
Mooly Sagiv @ NYU
@sagivmooly
CEO of @CertoraInc and a chair of software systems at @TelAvivUni