معرفی
Laurent Mauborgne is a computer scientist specializing in static program analysis and abstract interpretation. He received his PhD from École Polytechnique (1999) and Habilitation from University Paris-Dauphine (2007). He served as Assistant Professor at École Normale Supérieure (2000–2010) and Associate Director of Computer Science Studies (2006–2009). He held a part-time professorship at École Polytechnique and was a visiting researcher at IMDEA Software Institute.
His research develops theoretical and practical tools for analyzing program behavior, including safety verification and resource optimization. He co-authored the Astrée analyzer, a tool critical for proving absence of runtime errors in avionic systems. Dr. Mauborgne participated in EU projects DAEDALUS and ES_PASS and served on program committees for the Static Analysis Symposium.
