This website is the private homepage and blog of Max Heisinger. In contrast to the sibling site maximaximal.com, this site focuses on technical content and photographs. In addition, this page also holds more English content and is thereby more international.
- Institute for Formal Models and Verification at Johannes Kepler University Linz
- Institute for System Software (SSW) at Johannes Kepler University Linz
4020 Linz, Austria (Europe)