Bruno Dutertre

Bruno Dutertre ist Senior Principal Applied Scientist in der Automated Reasoning Group bei Amazon Web Services. Er unterstützt die Entwicklung und Anwendung von SAT- und SMT-Solvern in Bereichen wie Code-Verifikation, Netzwerkanalyse und agentenbasierte KI. Vor dem Antritt seiner Stelle bei AWS im Jahr 2021 arbeitete er bei SRI International, wo er den Yices 2 SMT-Solver mitentwickelte. Bei SRI war er zudem an der Modellprüfung und Verifikation von Echtzeit- und verteilten Systemen beteiligt. Zusammen mit anderen Forschenden im Bereich SMT erhielt er 2021 den CAV-Preis für bahnbrechende Beiträge zur Theorie und Praxis von Satisfiability Modulo Theories.