ENTITY
Bertrand Meyer
Bertrand Meyer
PulseAugur coverage of Bertrand Meyer — every cluster mentioning Bertrand Meyer across labs, papers, and developer communities, ranked by signal.
Total · 30d
2
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
1 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
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 …