Building principled, tractable sustainable technology through geometric computational methods with accessibility & energy-efficient optimization at the core.

5+ years distributed systems & compiler engineering and 2 years B.Sc. Physics Engineering → transitioning to Mathematics B.Sc. at TUM for rigorous geometric numerical methods in cyber-physical systems with demanding requirements.

Proven experience in Kotlin/JVM backend systems and formal verification in modern open source compilers. My self-study and research focus on heterogeneous hardware-software co-design and privacy-first distributed architectures on Apple Silicon 🍏.

Email: imran at settuba dot com

S/MIME Certificate: [Coming Soon]

ORCID iD: 0009-0000-5855-9251

PGP Public Key: [Coming Soon] | Fingerprint: Available Soon

Professional Profiles: Distributed Systems & Formal Verification | Apple Silicon Research

🔍 Open for hire - seeking engagements (contract/part-time/full-time). Detailed profiles available in English and German.

• Open Source: predictable-agent • Accessible web publications (HTML + Gemini) for mathematics and life sciences • Minimal Lix-powered arm64e Darwin setup
• 🔬 Research & Self-Study: heterogeneous Unified memory architecture optimization • Geometric numerical methods on Apple Silicon for computational physics/chemistry • Formal verification frameworks for distributed systems • Formal methods for signal & protocol verification with nonlinearization principles
• 📝 Consulting: Available for distributed systems, compiler tooling & laboratory research (30h+/week)
• 🔄 Certification: ISO 9001:2015 quality management (QMF/QMB) in progress

Hardware Architecture & Optimization:

• ETH Zürich Computer Architecture (Onur Mutlu & SAFARI Research Group) - Systematic study of modern processor design principles
• Apple Silicon Internals (Jonathan Levin) - Deep dive into M-Series microarchitecture and system optimization
• Metal 4.0 Best Practices Guide - GPU/Neural Engine compute optimization and unified memory architecture utilization

Mathematical Foundations:

• Computational Geometry Algorithms - Spatial data structures and geometric computing on heterogeneous systems
• Information Theory Applications - Geometric signal processing for media engines
• Numerical Methods - Energy-efficient memory-centric mathematical computing with custom Metal Shaders

Trademark Notice
Swift, SwiftUI, iOS, macOS, iPhone, iPad, Safari, App Store, watchOS, tvOS, visionOS, Apple Silicon, Metal, MetalKit, Xcode, and the Apple logo are trademarks of Apple Inc., registered in the U.S. and other countries. Kotlin is a trademark of JetBrains s.r.o. TÜV, QMB-TÜV, and QMF-TÜV are registered trademarks of TÜV SÜD AG and other TÜV organizations. Technical University of Munich (TUM) is a registered trademark of Technische Universität München. ISO 9001 is a registered trademark of the International Organization for Standardization. All other trademarks are the property of their respective owners.