Suhas Muniyappa

Suhas Muniyappa is a researcher affiliated with the Max Planck Institute for Software Systems (MPI-SWS), located in Kaiserslautern, Germany. His primary research interests span a broad range of topics including algorithms, formal logic programming languages, verification techniques for cyber-physical systems, distributed systems, security, privacy, and social information systems. He is part of the institute's core research faculty, contributing to foundational and applied studies in computer science and software systems.

Contact information includes a telephone number: +49 631 9303 8318 and a personal website: https://suhastheju.github.io/. His office is located in Room 513 of Building G 26 on the Kaiserslautern campus. While no specific academic rank (e.g., Professor) is explicitly stated, his inclusion in the 'Faculty' category of MPI-SWS indicates an active research role within the institute.