Pascal Baumann

Pascal Baumann is affiliated with the Max Planck Institute for Software Systems (MPI-SWS) in Kaiserslautern, Germany. His primary role is as a Researcher within the Department of Software Systems.

Research Interests

• Research Algorithms
• Theory & Logic
• Programming Languages & Verification
• Cyber-Physical Systems
• Distributed, Networked & Mobile Systems
• Security & Privacy
• Social & Information Systems

Affiliations & Location

Based at the MPI-SWS campus in Kaiserslautern, Pascal occupies Room 612 in Building G 26. Contact details include a phone number (+49 631 9303 8910) and fax (+49 631 9303 6019).