Portrait of Michael Schroeder

Singapore · Business & Research

Michael
Schroeder

Business Executive · Independent Researcher

I work at the intersection of enterprise technology, mathematics, and artificial intelligence—moving between practical systems at scale and questions that reward exact reasoning.

About

In my business life, I am the Chief Business Officer for SAP in Southeast Asia. In my independent work, I focus on mathematics and AI—especially problems where formal reasoning and computation can strengthen each other.

I value work that is rigorous, legible, and useful: a clear result, an auditable method, and as little machinery as the problem allows.

Research

2026 · Combinatorics · Formal verification

Seven Prime Divisors in Odd Distinct Covering Systems

Any finite distinct covering system with odd moduli greater than one has an LCM divisible by at least seven distinct primes. The result makes no squarefreeness or prime-power-height assumption and is accompanied by a Lean 4 formalization and an independent exact-rational checker.

Read the paper

Current interests

  • AI-assisted mathematical discovery
  • Formal verification with Lean
  • Exact computation and proof certificates
  • Covering systems and combinatorics

Background

Based in Singapore, I move between executive leadership and independent research. The common thread is an interest in difficult systems: understanding them precisely, then turning that understanding into something concrete.

My professional work centers on enterprise technology and transformation across Southeast Asia. My research centers on mathematics, AI, and computational methods.

Elsewhere