Masterclass
ChatGPT en consorten gaan de wereld veranderen! Maar in welke mate? In deze sessie presenteert Pim zijn visie op wat deze technologieën voor impact hebben op het werk van software ontwikkelaars. Aan de hand van voorbeelden demonstreert Pim waarom formele verificatie en specificatie een grote rol zouden kunnen gaan spelen. Vervolgens introduceert hij de programmeertalen en tools waarmee je vandaag aan de slag kan. Hij sluit af met een blik op de state of the art.