Software Engineers as Research Infrastructure
by John Fitzgerald and Mark Turner — 22 May 2024
John Fitzgerald and Mark Turner on the role of software engineers in computer science research.
Bringing Formal Methods to the "Average Programmer"
by Benjamin Kaminski — 5 April 2024
Interview with David Monniaux on machine learning and software synthesis and verification.
Separation Logic And Beyond
by Georgiana Caltais — 20 March 2024
Interview with Lars Birkedal about his research in program verification.
ETAPS 2024 in Luxembourg City
by Isana Nascimento — 21 February 2024
Learn about this-year's ETAPS venue!
On Mechanized Semantics for Verified Compilation
by Eduard Kamburjan — 19 January 2024
Interview with Sandrine Blazy on verified compilation.
Software For The Environmental Sciences
by Eduard Kamburjan — 21 December 2023
Interview with Gordon Shaw Blair about relation of computer and environmental sciences.
ETAPS Industry Day
by Andrzej Wąsowski and Nikolai Kosmatov — 20 December 2023
The first ETAPS Industry day takes place in 2024!
On Research with Joost-Pieter Katoen
by Benjamin Kaminski — 20 November 2023
Interview with Joost-Pieter Katoen, a former president of ETAPS, on his research.
On The Relationship of AI And Programs
by Eduard Kamburjan — 20 October 2023
Interview with André Platzer, Alexander von Humboldt Professor for Logic of Autonomous Dynamical Systems at Karlsruhe Institute of Technology.
Interview with Orna Kupferman
by Georgiana Caltais — 19 September 2023
Interview with Orna Kupferman about her career.