Mathis Pink

Mathis Pink is a Professor at the Max Planck Institute for Software Systems (MPI-SWS) in Saarbrücken, Germany. His research focuses on foundational areas of computer science including algorithms, programming languages, verification, cyber-physical systems, and security. He is affiliated with the MPI-SWS campus located at E1 5 Building, Room 312.

Research interests span theoretical and applied domains, such as logic-based systems, distributed computing, and privacy-preserving technologies. His work bridges formal methods with real-world applications in networked systems and mobile computing.

No specific articles, awards, or grants are explicitly listed in the provided text. Contact details include the institute's general telephone (+49 681 9303 0) and fax (+49 681 9303 5719), though personal email information appears incomplete in the data source.