Bertrand Meyer
PulseAugur coverage of Bertrand Meyer — every cluster mentioning Bertrand Meyer across labs, papers, and developer communities, ranked by signal.
-
AI's impact on coding: Art, jobs, and historical parallels
The author argues that AI's impact on coding is not inherently negative, reframing common concerns. While AI can be seen as an "employment thief" by automating tasks previously done by human coders, the true value lies …
-
AI can bridge software engineering and formal verification, says Meyer
Bertrand Meyer's opinion piece in Communications of the ACM explores the potential of Artificial Intelligence to enhance software engineering. Meyer posits that AI can bridge the gap between current development practice…
-
Bertrand Meyer discusses AI's impact on software verification
Bertrand Meyer delivered a talk on software verification in the context of artificial intelligence, offering a balanced perspective on the current state of AI in software engineering. His presentation provided insights …