An open API service indexing awesome lists of open source software.

https://github.com/i-walker/i-walker

@i-walker
https://github.com/i-walker/i-walker

Last synced: 5 months ago
JSON representation

@i-walker

Awesome Lists containing this project

README

          

# Senior Software Engineer & Mathematics Student

*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 🍏.

## Contact & Verification

**Email**: imran at settuba dot com

**S/MIME Certificate [ISO27001 certified & conforms QWACs eIDAS]**:

`C4:BF:28:BF:A4:8D:BF:B9:9C:D0:B3:9E:4F:F9:D7:6C:CC:F9:E5:50:40:27:F3:03:23:B4:A3:51:2A:21:18:74`

**ORCID iD**: 0009-0000-5855-9251

**TÜV Certification**:
- certified [Quality Management Specialist](https://app.certif-id.com/expert/public/share/6eciWiiWL0qkc4TT_4E0) ISO 9001:2015 ✅ | valid until Oktober 2028

**Professional Profiles**: [Distributed Systems & Formal Verification](https://github.com/i-walker) | [Apple Silicon Research](https://github.com/settubaDev)

🔍 **Open for hire** - seeking engagements (contractual/freelance/project-based)

Detailed profiles available in [English](Profile-en.md) and [German](Profile-de.md).

## 🔨 Current Work

- **Open Source**:
* Accessible web publications (HTML + Gemini) for mathematics and life sciences in spirit with [AccessibleEU](https://accessible-eu-centre.ec.europa.eu/index_en)
* Learning Elixir/ Erlang on BEAM
- 🔬 **Research & Self-Study**:
* Heterogeneous Unified memory architecture optimization
* Geometric numerical methods on Apple Silicon for computational physics/chemistry
* 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 TÜV-QMB in progress

---

> **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.