About
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.
0Publications listed
Find Simon Schwarz elsewhere
Related Searches
You Might Also Like
Yasmine BriefsMax Planck Institute for Informatics · Researcher
Uwe WaldmannMax Planck Institute for Informatics · Researcher- MMathis PinkMax Planck Institute for Software Systems · Professor
Danupon Na NongkaiMax Planck Institute for Informatics · Professor
Philip OfftermattMax Planck Institute for Software Systems · Researcher
Gretchen GravelleMax Planck Institute for Software Systems · Researcher