ENTITY Lars Hupel

Lars Hupel

PulseAugur coverage of Lars Hupel — every cluster mentioning Lars Hupel across labs, papers, and developer communities, ranked by signal.

Total · 30d

1

1 over 90d

Releases · 30d

0

0 over 90d

Papers · 30d

0

0 over 90d

TIER MIX · 90D

TOPICS

other 1

SENTIMENT · 30D

1 day(s) with sentiment data

RECENT · PAGE 1/1 · 1 TOTAL

COMMENTARY · CL_179175 · Aug 3 · 12:06

Lars Hupel discusses formal methods for preventing software defects with AI

Lars Hupel, Curator of the CPSA Advanced Level Module on Formal Methods, discussed the practical application of formal methods in preventing costly software defects. In an interview, Hupel explained how these techniques…