Jennifer Müller

Jennifer Müller is a Researcher at the Max Planck Institute for Informatics, affiliated with the Automation of Logic Research Group (Research Group 1). She is part of the Saarbrücken Research Center for Visual Computing, Interaction, and Artificial Intelligence (VIA) and contributes to the Max Planck European Laboratory for Learning and Intelligent Systems (ELLIS Unit SAM). Her work is embedded within the Kaiserslautern-Saarbrücken Computer Science Cluster and the Saarland Informatics Campus.

Her research focuses on foundational aspects of logic, automated reasoning, and formal methods, with applications to artificial intelligence and computer-aided verification. Müller collaborates with interdisciplinary initiatives such as the International Max Planck Research School on Trustworthy Computing and the Konrad Zuse School of Excellence in Learning and Intelligent Systems (ELIZA).

She participates in graduate programs including the Max Planck Ph.D. Program in Computer Science and the Maryland Max Planck Ph.D. Program. Her institutional roles involve contributions to research coordination and adherence to good scientific practices, though specific awards or grants are not detailed in the provided text.