Simon Schwarz

پژوهشگر · Automated Reasoning

Germany

معرفی

Simon Schwarz is a doctoral researcher at the Max Planck Institute for Informatics, affiliated with the Automation of Logic research group. His work focuses on leveraging logical frameworks to advance automated reasoning systems.

Contact: sschwarz@mpi-inf.mpg.de | Office: Building E1 5, Room 636, Saarbrücken, Germany.

حوزه‌های پژوهشی

Automated Reasoning Logic in Computer Science Formal Methods Artificial Intelligence Theoretical Computer Science Knowledge Representation

۰مقاله منتشرشده

Simon Schwarz در سایت‌های دیگر

جست‌وجوهای مرتبط

شاید این‌ها هم برایتان مناسب باشند

Yasmine BriefsMax Planck Institute for Informatics · پژوهشگر
Uwe WaldmannMax Planck Institute for Informatics · پژوهشگر
M
Mathis PinkMax Planck Institute for Software Systems · استاد
Danupon Na NongkaiMax Planck Institute for Informatics · استاد
Philip OfftermattMax Planck Institute for Software Systems · پژوهشگر
Gretchen GravelleMax Planck Institute for Software Systems · پژوهشگر